Logic Program Synthesis and Transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings - John Gallagher ((Lecture Notes in Computer Science))