Computer proofs in Gödel's class theory with equational definitions for composite and cross
scientific article; zbMATH DE number 1279228