UCPOP: A sound, complete, partial order planner for ADL (1992)

by J Penberthy, D Weld
Venue:In Proceedings of the 3rd International Conference on the Principles of Knowledge Representation and Reasoning