Say no to case analysis: automating the drudgery of case-based proofs
scientific article; zbMATH DE number 7495101
scientific article