TY  - BOOK
AU  - Dix Jurgen ed.
ED  - International Conference, LPNMR '97 on Logic Programming and Nonmonotonic Reasoning (4th : 28-31 Jul 1997 : Dagstuhl,Germany)
ED  - International conference, LPNMR '97 on logic programming and nonmonotonic reasoning
TI  - Logic programming and nonmonotonic reasoning: proceedings
U1  - 5.131 
PY  - 1997///
CY  - Berlin
PB  - Springer-Verlag
KW  - Logic programming
ER  -