![](/img/cover-not-exists.png)
Using Well-Founded Relations for Proving Operational Termination
Lucas, SalvadorLanguage:
english
Journal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-019-09514-2
Date:
February, 2019
File:
PDF, 783 KB
english, 2019