Logic-based knowledge representation   
ed. by Peter Jackson (...) 
 - Cambridge  MIT  1989 
 - ix, 255p. 
 - MIT Press series in logic programming .
<br/><br/><label>ISBN: </label>026210038X 
<br/><br/><label>Dewey Class. No.: </label>001.642  / N896