The Resolution Calculus by Alexander Leitsch