A Temporal Logic for Reasoning about Processes and Plans (1982)

by D V McDermott
Venue:Cognitive Science