1. Reasoning About Change, MIT Press, Cambridge, MA, 1987.
2. Technical Rep;Patil,1981
3. “Reasoning about state from causation and time in a medical domain,” Proc. AAAI 83, 251–254 (1983).
4. A Temporal Logic for Reasoning about Processes and Plans*