Termination Tools in Ordered Completion.

Sarah Winkler, Aart Middeldorp

Browse the full CADE paper archive.