André Luiz Galdino, Mauricio Ayala-Rincón. A Formalization of the Knuth-Bendix(-Huet) Critical Pair Theorem. Journal of Automated Reasoning, 45(3):301-325, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.