Author: Conference on Rewriting Techniques and Applications (2nd 1987 Bordeaux)