Murray,Neil V. <br/><br/>
Automated reasoning with analytic tableaux and related methods / 
Murray,Neil V. 
 - International confer 
 - Berlin:  Springer,  1999. 
 - x,323p;26cm 
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>3540660860 
<br/><br/><label>Dewey Class. No.: </label>006.3 GAL