%0
Book
%T
The resolution calculus
%A Leitsch, Alexander
%I Springer
%@ 3540618821
%K Automatic theorem proving
%K Automatisches Beweisverfahren
%K Auflösungsprinzip
%D 1997
%X Includes bibliographical references (p. [289] - 293) and index
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2