@article{Demri_2006,
    doi = {10.3166/jancl.16.311-347},
    url = {https://doi.org/10.3166%2Fjancl.16.311-347},
    year = {2006},
    month = {jan},
    publisher = {Informa {UK} Limited},
    volume = {16},
    number = {3-4},
    pages = {311--347},
    author = {St{\'{e}}phane Demri},
    title = {Linear-time temporal logics with Presburger constraints: an overview},
    journal = {Journal of Applied Non-Classical Logics}
}

@article{Demri_2006, doi = {10.3166/jancl.16.311-347}, url = {https://doi.org/10.3166%2Fjancl.16.311-347}, year = {2006}, month = {jan}, publisher = {Informa {UK} Limited}, volume = {16}, number = {3-4}, pages = {311--347}, author = {St{\'{e}}phane Demri}, title = {Linear-time temporal logics with Presburger constraints: an overview}, journal = {Journal of Applied Non-Classical Logics} }