@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@inproceedings{lahiri-cav04,
 author    = {Shuvendu K. Lahiri and
              Sanjit A. Seshia},
 title     = {The {UCLID} Decision Procedure},
 booktitle = CAV04,
 series = "LNCS 3114",
 publisher = "Springer-Verlag",
 month = "July", 
 year = "2004",
 pages     = {475--478},
}