Yoram Hirshfeld, Alexander Moshe Rabinovich. Logics for Real Time: Decidability and Complexity. Fundamenta Informaticae, 62(1):1-28, 2004. [doi]
@article{HirshfeldR04,
title = {Logics for Real Time: Decidability and Complexity},
author = {Yoram Hirshfeld and Alexander Moshe Rabinovich},
year = {2004},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=62&issue=1&spage=1},
tags = {logic},
researchr = {https://researchr.org/publication/HirshfeldR04},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {62},
number = {1},
pages = {1-28},
}