The linked conjunct method for automatic deduction and related search techniques
scientific article; zbMATH DE number 3799052