Pfalzgraf, Jochen <br/><br/>
Automated Practical Reasoning 

 - New York  Springer-Verlag  1995 
 - 223p. 
<br/><br/><label>ISBN: </label>3211826009