author = { LOPSTR 7 1997 Löwen Fuchs, Norbert E. },

title = { Logic program synthesis and transformation 7th international workshop, LOPSTR '97, Leuven, Belgium, July 1997; proceedings },

publisher = {Springer},

isbn = {3540650741},

keywords = { Logic programming Congresses , Logic programming , Congresses , Konferenzschrift 1997 Löwen , Logische Programmierung , Programmtransformation , Programmschema , Programmsynthese , Automatisches Beweisverfahren },

year = {1998},

abstract = {Includes bibliographical references and indexes},

booktitle = {Lecture notes in computer science ; 1463},

address = { Berlin },

url = { http://slubdd.de/katalog?TN_libero_mab2 }