Tom Bylander The Computational Complexity of Propositional STRIPS Planning. 165-204 1994 69 Artif. Intell. 1-2 db/journals/ai/ai69.html#Bylander94