Finite approach to the problem of optimizing theorem-proving algorithms
scientific article; zbMATH DE number 3622994