A temporal logic for reasoning about processes and plans. McDermott, D. Cognitive Science, 6(2):101–155, April, 1982.
A temporal logic for reasoning about processes and plans [link]Paper  doi  bibtex   

Downloads: 0