1. J Ambros-Ingerson and S. Steel. Integrating planning, execution, and monitoring. In Proc. 7th Nat. Conf. on Artificial Intelligence, pages 735–740, 1988.
2. R. Brachman. “Reducing” CLASSIC to Practice: Knowledge Representation Theory Meets Reality. In Proc. 3rd Int. Conf. on Principles of Knowledge Representation and Reasoning, October 1992.
3. D. Brill. LOOM Reference Manual. USC-ISI, 4353 Park Terrace Drive, Westlake Village, CA 91361, version 1.4 edition, August 1991.
4. A survey of complexity results for non-monotonic logics;Cadoli;Journal of Logic Programming,1993
5. Planning for conjunctive goals;Chapman;Artificial Intelligence,1987