The problem of reasoning by case analysis
scientific article; zbMATH DE number 549836