Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / - Proietti, Maurizio (Springer, 1996)