Complexity and related enhancements for automated theorem-proving programs
scientific article; zbMATH DE number 3526307