Evaluating general purpose automated theorem proving systems
scientific article; zbMATH DE number 1770914
scientific article