Nachum Dershowitz Rewriting Techniques and Applications, 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings RTA Lecture Notes in Computer Science 355 Springer 1989 3-540-51081-8 db/conf/rta/rta89.html