Resolution calculus - Leitsch Alexander (Berlin Springer-Veerlag, 1997)
Keywords: Mathematical logic; Resolution calculus; Resolution theorem