The Resolution calculus - Leitsch, Alexander (Berlin: Springer, 1997)
Index.
Bibliography.
Keywords: Artificial intelligence; Logical calculus