Controlling backward inference
scientific article; zbMATH DE number 4108195