"A Redundancy Criterion Based on Ground Reducibility by Ordered Rewriting."

Bernd Löchner (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics