Automated reasoning and its applications :  essays in honor of Larry Wos / 
edited by Robert Veroff, with Gail W. Pieper. 
 - Cambridge, Mass. :  MIT Press,  c1997. 
 - viii, 247 p. ;  24 cm. 
<br/><br/> "Bibliography of Larry Wos": p. [235]-241. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>0262220555  
<br/><br/><label>LCCN: </label>96051916  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving.
<br/><br/><label>LC Class. No.: </label>QA76.9.A96  / Au8 1997 
<br/><br/><label>Dewey Class. No.: </label>511.3