Foundations of Logic and Functional Programming Workshop, Trento, Italy, December 15-19, 1986. Proceedings | EKB DL