Accelerating partial order planners by emphasizing deductive choices (1995)

by L Schubert, A Gerevini