Certified Ordered Completion

Christian Sternagel, Sarah Winkler
Proceedings of the 7th International Workshop on Confluence (IWC 2018),  2018.

abstract   BibTeX   PDF