@InProceedings{mays:1983:ACL,
  author    = {Eric Mays},
  title     = {A Modal Temporal Logic for Reasoning about Change},
  booktitle = {Proceedings of the 21st Annual Meeting of the Association for Computational Linguistics},
  month     = {June},
  year      = {1983},
  address   = {Cambridge, Massachusetts, USA},
  publisher = {Association for Computational Linguistics},
  pages     = {38--43},
  url       = {http://www.aclweb.org/anthology/P83-1006},
  doi       = {10.3115/981311.981319}
}