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.
