## Ullrich Hustadt, Ana Ozaki, Clare Dixon

*Theorem Proving for Metric Temporal Logic over the Naturals*

CADE, 2017.

@inproceedings{CADE-2017-HustadtOD, author = "Ullrich Hustadt and Ana Ozaki and Clare Dixon", booktitle = "{Proceedings of the 26th International Conference on Automated Deduction}", doi = "10.1007/978-3-319-63046-5_20", isbn = "['978-3-319-63045-8', '978-3-319-63046-5']", pages = "326--343", publisher = "{Springer}", title = "{Theorem Proving for Metric Temporal Logic over the Naturals}", year = 2017, }