TY  - BOOK
AU  - Dix,Jurgen
TI  - Logic programming and nonmonotonic reasoning
T2  - Lecture Notes in Computer Science
SN  - 3540632557
U1  - 005.1 DIX 
PY  - 1997///
CY  - Berlin
PB  - Springer
N1  - Includes bibliographical references
ER  -