TY  - BOOK
AU  - Boscarol, M. Ed.
AU  - Carlucci Aiello, L. Ed.
AU  - Levi, G. Ed.
TI  - Foundations of Logic and Functional Prgramming: Proceedings, Workshop, Trento, Italy, 1986
SN  - 3540191291
CY  - Berlin
KW  - Logic
KW  - Functional Programming
ER  -