Foundations of Logic and Functional Programming Workshop, Trento, Italy, December 15-19, 1986. Proceedings Boscarol Mauro Heftet / 1988 / Engelsk
