A Redundancy Criterion Based on Ground Reducibility by Ordered Rewriting.

Bernd Lchner

Browse the full CADE paper archive.