================================================================================
P9510   P.H.Rodenburg
        "Termination and confluence in infinitary term rewriting"


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.