TY  - BOOK
AU  - Dix,Jurgen
TI  - Logic programming and knowledge representation
T2  - Lecture Notes in Computer Science,No.1471
SN  - 3540649581
U1  - 006.33 DIX 
PY  - 1998///
CY  - Berlin
PB  - Springer
N1  - Includes bibliographical references
ER  -