Paramodulation and theorem provcing in first order theories with equality (1965)

by J ACM Vol