McDermott, 1982

McDermott (1982), ‘A Temporal Logic for Reasoning About Processes and Plans’

» References