TY  - BOOK
AU  - Padawitz, Peter.
TI  - Deduction and Declarative Programming
SN  - 0 521 41723 6
CY  - Cambridge
KW  - Deduction and Declarative Programming
ER  -