A new deductive approach to planning
scientific article; zbMATH DE number 4170073
scientific article