@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{kroening-cav04,
 author = "Daniel Kroening and Jo{\"e}l Ouaknine and Sanjit A. Seshia and Ofer Strichman",
 title = "Abstraction-based Satisfiability Solving of {P}resburger Arithmetic",
 booktitle = CAV04,
 series = "LNCS 3114",
 publisher = "Springer-Verlag",
 month = "July", 
 year = "2004",
 pages = "308--320",
}