Veroff, Robert <br/><br/>
Automated reasoning and its applications  essays in honor of Larry Wos 
Robert Veroff 
 - London  MIT Press  1997 
 - viii, 247 
<br/><br/><label>ISBN: </label>262220555  US