Induction by enumeration
scientific article; zbMATH DE number 1853212