Rewriting techniques and applications. 7th international conference, RTA '96, New Brunswick, NJ, USA, July 27--30, 1996. Proceedings
scientific article; zbMATH DE number 918675