author = { RTA 9 1998 Tsukuba Nipkow, Tobias },

title = { Rewriting techniques and applications 9th international conference ; proceedings },

publisher = {Springer},

isbn = {354064301X},

keywords = { Rewriting systems (Computer science) , Computer programming , Algorithms , Konferenzschrift 1998 Tsukuba , Reduktionssystem },

year = {1998},

abstract = {Literaturangaben},

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

address = { Berlin },

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