Ana Cristina Rocha Oliveira, André Luiz Galdino, Mauricio Ayala-Rincón. Confluence of Orthogonal Term Rewriting Systems in the Prototype Verification System. Journal of Automated Reasoning, 58(2):231-251, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.