@inproceedings{4553303,
    Author = {Bouchy, F. and Finkel, A. and Leroux, J.},
    BookTitle = {2008 15th International Symposium on Temporal Representation and Reasoning},
    File = {BFL-time08 (0) - a - a - q.pdf},
    ISSN = {1530-1311},
    Keywords = {decidability;set theory;decidable first-order logic decomposition;infinite set;integer;real-valued vector;Additives;Arithmetic;Automata;Automatic testing;Clocks;Counting circuits;Libraries;Logic testing;Polynomials;System testing;DBM;First-order logics;Presburger;Symbolic representations;Timed automata},
    Month = {June},
    Pages = {147-155},
    Title = {Decomposition of Decidable First-Order Logics over Integers and Reals},
    Year = {2008},
    bdsk-url-1 = {https://doi.org/10.1109/TIME.2008.22},
    date-added = {2018-07-11 15:02:01 +0000},
    date-modified = {2018-07-11 15:02:01 +0000},
    doi = {10.1109/TIME.2008.22}
}

@inproceedings{4553303, Author = {Bouchy, F. and Finkel, A. and Leroux, J.}, BookTitle = {2008 15th International Symposium on Temporal Representation and Reasoning}, File = {BFL-time08 (0) - a - a - q.pdf}, ISSN = {1530-1311}, Keywords = {decidability;set theory;decidable first-order logic decomposition;infinite set;integer;real-valued vector;Additives;Arithmetic;Automata;Automatic testing;Clocks;Counting circuits;Libraries;Logic testing;Polynomials;System testing;DBM;First-order logics;Presburger;Symbolic representations;Timed automata}, Month = {June}, Pages = {147-155}, Title = {Decomposition of Decidable First-Order Logics over Integers and Reals}, Year = {2008}, bdsk-url-1 = {https://doi.org/10.1109/TIME.2008.22}, date-added = {2018-07-11 15:02:01 +0000}, date-modified = {2018-07-11 15:02:01 +0000}, doi = {10.1109/TIME.2008.22} }