Levesque, H. J. <br/><br/>
The logic of knowledge bases 

 - Cambridge; Massachusetts  MIT Press  2000 
 - xviii, 282p. 
<br/><br/><label>ISBN: </label>0-262-12232-4