"Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course " - читать интересную книгу автора (Hubert Comon, Jean-Pierre Jouannaud)