Richards, Tom <br/><br/>
Clausal form logic : an introduction to the logic of computer reasoning / 
Tom Richards 
 - Sydney :  Addison-Wesley,  1989 
<br/><br/><label>ISBN: </label>0201129205