@inproceedings{Chaieb:2006:VMR:2136107.2136162,
    Address = {Berlin, Heidelberg},
    Author = {Chaieb, Amine},
    BookTitle = {Proceedings of the Third International Joint Conference on Automated Reasoning},
    File = {10.1.1.73.2820 (0) - a - a - m.pdf},
    ISBN = {3-540-37187-7, 978-3-540-37187-8},
    Location = {Seattle, WA},
    Pages = {528--540},
    Publisher = {Springer-Verlag},
    Series = {IJCAR'06},
    Title = {Verifying Mixed Real-integer Quantifier Elimination},
    URL = {http://dx.doi.org/10.1007/11814771\_43},
    Year = {2006},
    acmid = {2136162},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11814771\_43},
    date-added = {2018-09-03 14:42:52 +0000},
    date-modified = {2018-09-03 14:42:52 +0000},
    numpages = {13},
    doi = {10.1007/11814771_43}
}

@inproceedings{Chaieb:2006:VMR:2136107.2136162, Address = {Berlin, Heidelberg}, Author = {Chaieb, Amine}, BookTitle = {Proceedings of the Third International Joint Conference on Automated Reasoning}, File = {10.1.1.73.2820 (0) - a - a - m.pdf}, ISBN = {3-540-37187-7, 978-3-540-37187-8}, Location = {Seattle, WA}, Pages = {528--540}, Publisher = {Springer-Verlag}, Series = {IJCAR'06}, Title = {Verifying Mixed Real-integer Quantifier Elimination}, URL = {http://dx.doi.org/10.1007/11814771_43}, Year = {2006}, acmid = {2136162}, bdsk-url-1 = {http://dx.doi.org/10.1007/11814771_43}, date-added = {2018-09-03 14:42:52 +0000}, date-modified = {2018-09-03 14:42:52 +0000}, numpages = {13}, doi = {10.1007/11814771_43} }