1. Definitional trees;Antoy,1992
2. Computing with subspaces;Antoy,2007
3. Lazy context cloning for non-deterministic graph rewriting;Antoy;Electr. Notes Theor. Comput. Sci.,2007
4. Term rewriting systems with priorities;Baeten,1987
5. Term graph rewriting;Barendregt,1987