Logic program synthesis and transformation : Proceedings, Utrecht, The Netherlands, Sept. 20 - 22, 1995 - Leuschel, Michael (Lecture notes in computer science, 1996)