The resolution calculus - Leitsch, Alexander (Texts in theoretical computer science, 1997)