A system for reasoning about time (1982)

by M B Vilain
Venue:In AAAI