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