Sound and efficient closed-world reasoning for planning
scientific article; zbMATH DE number 1956696