@misc{indiciae9fca388aca2a, title = {The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower bound Constraints (Full Version)}, author = {Paritosh K. Pandya and Simoni S. Shah}, year = {2013}, doi = {10.1007/978-3-642-33386-6}, url = {https://arxiv.org/abs/1305.3204}, note = {Source identifier: 1305.3204} }