W. Bibel, D. Korn, C. Kreitz, F. Kurucz (auth.), Norbert E. Fuchs (eds.)

Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings