TY  - BOOK
TI  - Logics in Artificial Intelligence
PY  - 1998///
CY  - Berlin
PB  - Springer
ER  -