Ordered Rewriting and Confluence.

Ursula Martin, Tobias Nipkow

Browse the full CADE paper archive.