Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems.

Christian Sternagel, Thomas Sternagel

Browse the full CADE paper archive.