R. V. Book,Rewriting techniques and applications,RTA 91.Rewriting techniques and applications(4th : 1991 : Italy):International Conference RTA-91, Como. Italy 1991, proceedings.Springer,1991.
International Conference on Rewriting Techniques and Applications "RTA".International Conference on Rewriting Techniques and Applications "RTA-87"(2nd : Bordeaux):Rewriting techniques and applications : proceedings.Springer,1987.