Rewriting techniques and applications proceedings
International Conference on Rewriting Techniques and Applications (2. 1987 Bordeaux) Pierre Lescanne
Berlin Springer 1987
Available at
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.256 ex.1 ) and other locations(GetIt)