Carole D. Hafner Semantics of Temporal Queries and Temporal Data. 1-8 1985 ACL db/conf/acl/acl85.html#Hafner85