TY  - BOOK
AU  - Boscarol M Ed.
AU  -  Aiello L Carlucci Ed.
AU  -  Levi G Ed.
ED  - Workshop on foundations of logic and functional programming (1986 : Trento Italy)
TI  - Proceeding on Foundations of logic and functional programming
T2  - Lecture notes in computer science; 306
U1  - D65,8(B)92:R1p1,N86, M8 
PY  - 1988///
CY  - Berlin
PB  - Springer-Verlag       
KW  - Computer programming
ER  -