@inproceedings{mays-1983-modal,
    title = "A Modal Temporal Logic for Reasoning about Change",
    author = "Mays, Eric",
    booktitle = "21st Annual Meeting of the Association for Computational Linguistics",
    month = jun,
    year = "1983",
    address = "Cambridge, Massachusetts, USA",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/P83-1006/",
    doi = "10.3115/981311.981319",
    pages = "38--43"
}