Proceeding on Foundations of logic and functional programming - Boscarol M Ed.; Workshop on foundations of logic and functional programming (1986 : Trento Italy); Aiello L Carlucci Ed.; Levi G Ed. (Berlin Springer-Verlag, 1988)
Keywords: Computer programming