Basin, David <br/><br/>
Automated resoning 
David Basin 
 - New York  Springer  2004 
 - xii, 493p. 
<br/><br/><label>ISBN: </label>3540223452  E64.00