The resolution calculus - Leitsch, Alexander (Springer, 1997)