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

by J Penberthy, D Weld
Venue:In Proc. 3rd Int. Conf. Principles of Knowledge Representation and Reasoning