Baumgartner, Peter <br/><br/>
Theory reasoning in connection calculi 
Peter Baumgartner 
 - Berlin  Springer  c1998 
 - ix, 283 p. : ill. ; 23 cm 
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9783540655091 
<br/><br/><label>ISSN: </label>99010004 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving
<br/><br/><label>Dewey Class. No.: </label>006.3 BAU