Takahito Aoto 0001, Yoshihito Toyama, Yuta Kimura. Improving Rewriting Induction Approach for Proving Ground Confluence. In Dale Miller, editor, 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK. Volume 84 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]
Abstract is missing.