Automatic proofs by induction in theories without constructors
scientific article; zbMATH DE number 4117836
scientific article