1. Commutation, transformation, and termination;Bachmair,1985
2. Termination orderings for associative commutative rewriting systems;Bachmair;J. Symbolic Comput.,1985
3. Priority Rewrite Systems;Baeten,1984
4. LEAF: A language which integrates logic, equations and functions;Barbuti,1985
5. Call by name semantics of a clause language with functions;Bellia,1982