Subsumption demodulation in first-order theorem proving
scientific article; zbMATH DE number 7614519
scientific article