Programming languages implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings - Hermenegildo, Manuel; Swierstra, S. Doaitse (Lecture notes in computer science, 1995)