Resolution theorem proving (2001)

by L Bachmair, H Ganzinger
Venue:In Robinson, A., & Voronkov, A. (Eds.), Handbook of Automated Reasoning, Vol. I