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

by D MCDERMOTT
Venue:Cognitive Science