Caferra, Ricardo. <br/><br/>
Automated model building / 
by Ricardo Caferra, Alexander Leitsch and Nicholas Peltier 
 - Dordrecht ; London :  Kluwer Academic,  2004. 
 - xi, 341 p. :  ill. ;  25 cm. 
 - Applied logic series  v. 31. .
<br/><br/> Includes bibliographical references (p. 327-341). 
<br/><br/><label>ISBN: </label>1402026528 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving.<br/>Applied logic