Resolution decision procedures (2001)

by C G Fermüller, A Leitsch, U Hustadt, T Tamet
Venue:Handbook of Automated Reasoning, volume II, chapter 25