International Workshop on Conditional term Rewriting Systems.International Workshop on Conditional term Rewriting Systems (3rd : 1992 : France)：Conditional term Rewriting Systems.Springer,1993.
Baader, Franz..Term rewriting and applications : 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings /.Springer,,c2007..
Middeldorp, Aart,,Klop, J. W..Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday /.Springer,,c2005..
