The computational complexity of propositional STRIPS planning (1994)

by T Bylander
Venue:Artificial Intelligence