Basic paramodulation and superposition (0)

by Leo Bachmair, Harald Ganzinger, Christopher Lynch, Wayne Snyder
Venue:Proc. 11th International Conference on Automated Deduction (CADE’92