TY  - BOOK
AU  - Padawitz,Peter
TI  - Deduction and declarative programming
PY  - 1992///
CY  - London
PB  - Cambridge press
KW  - programming
N1  - index
ER  -