TY - BOOK AU - Boscarol M ED - Workshop on Foundations of Logic and Functional Programming( 1986 : Torento ) ED - Workshop on Foundations of Logic and Functional Programming TI - Foundations of logic and functional programming : proceedings SN - 3-540-19129-1 U1 - 5.114 PY - 1986/// CY - Berlin PB - Springer Verlag KW - Computer science KW - Functional programming ER -