Bachmair, L., & Ganzinger, H. (2001). Resolution Theorem Proving. In J. A., Robinson, & A., Voronkov (Eds.), Handbook of Automated Reasoning (pp. 19-99). Amsterdam, the Netherlands: Elsevier.