@article{8133079,
    Author = {Demri, S. and Gascon, R.},
    File = {DG-jlc09 (0) - a - a - m.pdf},
    ISSN = {0955-792X},
    Journal = {Journal of Logic and Computation},
    Keywords = {Linear-time temporal logic;Presburger arithmetic;B{\"u}chi automaton;one-counter automaton},
    Month = {Dec},
    Number = {6},
    Pages = {1541-1575},
    Title = {The Effects of Bounding Syntactic Resources on Presburger LTL},
    Volume = {19},
    Year = {2009},
    bdsk-url-1 = {https://doi.org/10.1093/logcom/exp037},
    date-added = {2018-10-08 12:27:32 +0000},
    date-modified = {2018-10-08 12:27:32 +0000},
    doi = {10.1093/logcom/exp037}
}

@article{8133079, Author = {Demri, S. and Gascon, R.}, File = {DG-jlc09 (0) - a - a - m.pdf}, ISSN = {0955-792X}, Journal = {Journal of Logic and Computation}, Keywords = {Linear-time temporal logic;Presburger arithmetic;B{\"u}chi automaton;one-counter automaton}, Month = {Dec}, Number = {6}, Pages = {1541-1575}, Title = {The Effects of Bounding Syntactic Resources on Presburger LTL}, Volume = {19}, Year = {2009}, bdsk-url-1 = {https://doi.org/10.1093/logcom/exp037}, date-added = {2018-10-08 12:27:32 +0000}, date-modified = {2018-10-08 12:27:32 +0000}, doi = {10.1093/logcom/exp037} }