TY  - BOOK
AU  - Aiello, L Carlucci., ed.
AU  - Levi, G., ed.
ED  - Boscarol, M., ed.
TI  - Foundations of logic and functional programming
T2  - Lecture notes in computer science
SN  - 3540191291
U1  - 005.115 
PY  - 1988///
CY  - Berlin
PB  - Springer-Verlag
ER  -