Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993 | lit.salon