Author: N. J.) International Conference on Rewriting Techniques and Applications (7th : 1996 : New Brunswick