Rewriting techniques and applications : proceedings - Book R V; International Conference on Rewriting Techniques and Applications(RTA-91)( 4th : 1991 : Como,Italy ); International Conference on Rewriting Techniques and Applications(RTA-91) 4th Como, Italy 1991 (Berlin Springer Verlag, 1991)
Keywords: Computer applications; Rewriting techniques