![](/img/cover-not-exists.png)
Confluence of Orthogonal Term Rewriting Systems in the Prototype Verification System
Rocha-Oliveira, Ana Cristina, Galdino, André Luiz, Ayala-Rincón, MauricioVolume:
58
Language:
english
Journal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-016-9376-2
Date:
February, 2017
File:
PDF, 646 KB
english, 2017