James F. Allen George Ferguson Actions and Events in Interval Temporal Logic. 531-579 1994 4 J. Log. Comput. 5 db/journals/logcom/logcom4.html#AllenF94 https://doi.org/10.1093/logcom/4.5.531