Termination and confluence in infinitary term rewriting
Piet H. Rodenburg · Journal of Symbolic Logic · 1998
Abstract The basic notions of the theory of term rewriting are defined for terms that may involve function letters of infinite arity. A sufficient condition for completeness is derived, and its use demonstrated by the example of abstract clones over infinitary signatures.