Certified Equational Reasoning via Ordered Completion

Christian Sternagel and Sarah Winkler
27th International Conference on Automated Deduction, Lecture Notes in Computer Science 11716, pp. 508 – 525, 2019.

abstract   BibTeX   PDF   doi:10.1007/978-3-030-29436-6_30