Logic Program Synthesis and Transformation 7th International Workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 Proceedings - Fuchs, Norbert E.; Fuchs, Norbert E. (Springer Berlin Heidelberg : Imprint: Springer, 1998)