Logic Program Synthesis and Transformation 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings - Gallagher, John; Gallagher, John (Springer Berlin Heidelberg : Imprint: Springer, 1997)