The computational complexity of propositional STRIPS planning
scientific article; zbMATH DE number 683692
scientific article