Wos,  Larry <br/><br/>
Automated reasoning :   introduction and applications / 
Wos, Larry 
<br/><br/><label>Dewey Class. No.: </label>006.3 A82