TY  - BOOK
AU  - Gelfond, M.: Leone, N.: Pfeifer, G.:
TI  - Logic Programming and Nonmonotonic Reasoning :  Lecture Notes in Artificial Intelligence:Proceedings
SN  - 0003540667490
U1  - 006.3 
PB  - Springer: Tokyo
KW  - Artificial Intelligence : Nonmonotonic Reasoning
ER  -