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