Basic paramodulation and superposition (1992)

by L Bachmair, H Ganzinger, C Lynch, W Snyder
Venue:11th International Conference on Automated Deduction