@InProceedings{peyras_et_al:LIPIcs.TIME.2019.15,
author = {Peyras, Quentin and Brunel, Julien and Chemouil, David},
title = {{A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic}},
booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)},
pages = {15:1--15:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-127-6},
ISSN = {1868-8969},
year = {2019},
volume = {147},
editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.15},
URN = {urn:nbn:de:0030-drops-113731},
doi = {10.4230/LIPIcs.TIME.2019.15},
annote = {Keywords: First-Order Linear Temporal Logic, Bounded Domain Property, Finite Domain Property, Decidability}
}