TY  - BOOK
AU  - Fuhrmann,A.
AU  - Morreau,M.
TI  - The logic of theory change: Workshop, Konstanz, FRG, October 13-15, 1989 : proceedings 
SN  - 3540535675
AV  - QA76.6 L65
PY  - 1991///
CY  - Berlin
PB  - Springer-Verlag
KW  - Logic programming
KW  - Addresses, essays, lectures
ER  -