TY  - BOOK
AU  - Boley H
AU  - Richter M M
TI  - Processing declarative knowledge : proceedings
U1  - 006.3 
PY  - 1991///
CY  - Berlin
PB  - Springer Verlag
KW  - Artificial intelligence
KW  - Special computer method
ER  -