Rewriting techniques and applications. 4th international conference, RTA-91, Como, Italy, April 10--12, 1991. Proceedings
scientific article; zbMATH DE number 108193