Certified Equational Reasoning via Ordered Completion.

Christian Sternagel, Sarah Winkler

Browse the full CADE paper archive.