The logical foundations of goal-regression planning in autonomous agents
scientific article; zbMATH DE number 1257815