Foundations of Logic and Functional Programming

Foundations of Logic and Functional Programming 1986: Trento, Italy