@InProceedings{Chaieb:IJCAR2006-528,
  author =       "Amine Chaieb",
  title =        "Verifying Mixed Real-Integer Quantifier Elimination",
  year =         "2006",
  pages =        "528--540",
  ee =           "http://dx.doi.org/10.1007/11814771_43",
  editor =       "Ulrich Furbach and Natarajan Shankar",
  booktitle =    "Automated Reasoning, Third International Joint
                 Conference, {IJCAR} 2006, Seattle, {WA}, {USA}, August
                 17--20, 2006, Proceedings",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "4130",
  ISBN =         "3-540-37187-7",
}