The Resolution calculus - Leitsch, Alexander. (Springer, 1997)
Index.