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

by J Scott Penberthy, Daniel S Weld
Venue:In KR92 [14