Information Processing Letters, 67(1):43-49, July 1998. [Preprint]
Abstract: We show that every reduction ordering over terms not containing + that is total on ground terms and for which 0 is minimal can be extended to an ordering that is ACU-compatible (or AC-compatible) and has the multiset property. To construct the extension ordering we use a variant of the self-labelling technique of Middeldorp, Ohsaki, and Zantema.