MdMax: A Maximal Ordered Completion Tool.

Sarah Winkler, Georg Moser

Browse the full CADE paper archive.