@inproceedings{LerouxPoint:TACAS:2009,
    Address = {Berlin, Heidelberg},
    Author = {Leroux, J{\'e}r{\^o}me and Point, G{\'e}rald},
    BookTitle = {Proc. of TACAS'09},
    File = {TaPAS The Talence Presburger Arithmetic Suite - Leroux, Point (0) (0) - a - a - x.pdf},
    ISBN = {978-3-642-00767-5},
    Location = {York, UK},
    Pages = {182--185},
    Publisher = {Springer-Verlag},
    Series = {TACAS '09},
    Title = {TaPAS: The Talence Presburger Arithmetic Suite},
    URL = {http://dx.doi.org/10.1007/978-3-642-00768-2\_18},
    Year = {2009},
    acmid = {1532914},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-00768-2\_18},
    date-added = {2012-05-26 11:23:36 +0200},
    date-modified = {2019-03-08 19:41:00 +0100},
    numpages = {4},
    doi = {10.1007/978-3-642-00768-2_18}
}

@inproceedings{LerouxPoint:TACAS:2009, Address = {Berlin, Heidelberg}, Author = {Leroux, J{\'e}r{\^o}me and Point, G{\'e}rald}, BookTitle = {Proc. of TACAS'09}, File = {TaPAS The Talence Presburger Arithmetic Suite - Leroux, Point (0) (0) - a - a - x.pdf}, ISBN = {978-3-642-00767-5}, Location = {York, UK}, Pages = {182--185}, Publisher = {Springer-Verlag}, Series = {TACAS '09}, Title = {TaPAS: The Talence Presburger Arithmetic Suite}, URL = {http://dx.doi.org/10.1007/978-3-642-00768-2_18}, Year = {2009}, acmid = {1532914}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-00768-2_18}, date-added = {2012-05-26 11:23:36 +0200}, date-modified = {2019-03-08 19:41:00 +0100}, numpages = {4}, doi = {10.1007/978-3-642-00768-2_18} }