Enviar aquest missatge de text: Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux , France, May 17-21, 1993 : advanced course / Hubert Common, Jean-Pierre Jouannaud, eds.