Default reasoning by deductive planning
scientific article; zbMATH DE number 790773
scientific article