TY  - BOOK
AU  - Wagner Gerd
TI  - Vivid logic : knowledge -based reasoning with two kinds of negation
U1  - 006.333 
PY  - 1994///
CY  - Berlin
PB  - Springer Verlag
KW  - Knowledge-based reasoning
ER  -