Dix,Jurgen <br/><br/>
Logic programming and nonmonotonic reasoning / 
Dix,Jurgen. 
 - 4th International Co 
 - Berlin:  Springer,  1997. 
 - x,452p;26cm 
 - Lecture Notes in Computer Science .
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>3540632557 
<br/><br/><label>Dewey Class. No.: </label>005.1 DIX