Title: Second Conference on Rewriting Techniques and Applications,Bordeaux, May 1987