A note on simplification orderings /

"April 1979."

Orderings for term-rewriting systems /

"Research supported in part under NSF grant MCS 77-22830."

Well-founded orderings for proving termination of systems of rewrite rules /

Bibliography: p. 34.