A temporal logic for reasoning about processes and plan (1982)

by Drew V McDermott
Venue:Cognitive Science