Eric Mays. A Modal Temporal Logic for Reasoning about Change. In Mitchell P. Marcus, editor, 21st Annual Meeting of the Association for Computational Linguistics, Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 15-17, 1983. pages 38-43, ACL, 1983. [doi]
Abstract is missing.