A system for reasoning about time (1982)

by M B Vilain, B Beranek
Venue:In Proceedings of the Second National Conference on Artificial Intelligence (AAAI