Basic paramodulation
scientific article; zbMATH DE number 804246