Resolution decision procedures (2001)

by C Fermüller, A Leitsch, U Hustadt, T Tammet
Venue:Handbook of Automated Reasoning, chapter 25