Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah. Marking the chops: an unambiguous temporal logic. In Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, C.-H. Luke Ong, editors, Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy. Volume 273 of IFIP, pages 461-476, Springer, 2008. [doi]
Abstract is missing.