TY  - BOOK
AU  - DAHR
TI  - DEDUCTIVE DATABASES: THEORY AND APPLICATIONS
SN  - 981-4053-99-6
U1  - 005.74 DAH 
PY  - 1997///
PB  - THOMSON
N1  - 278
ER  -