Logic program synthesis and transformation 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings / - Gallagher, John (Lecture notes in computer science ;)