TY  - BOOK
AU  - Marek V W
AU  - Truszczynski M
TI  - Nonmonotonic logic : context dependent reasoning
U1  - 006.3 
PY  - 1993///
CY  - Berlin
PB  - Springer Verlag
KW  - Artificial intelligence
KW  - Computer reasoning
ER  -