Equational theorem proving modulo
scientific article; zbMATH DE number 7437078