1. Conditional rewrite rules: confluence and termination;Bergstra;J. Comput. System Sci.,1986
2. Sequentiality, second order monadic logic and tree automata;Comon,1995
3. Rewrite systems;Dershowitz,1990
4. Computations in orthogonal rewriting systems, I and II;Huet,1991
5. Call by need computations in non-ambiguous linear term rewriting systems;Huet,1979