CoCo 2019: report on the eighth confluence competition
Aart Middeldorp, Julian Nagele, Kiraku Shintani · International Journal on Software Tools for Technology Transfer · 2021
Abstract We report on the 2019 edition of the Confluence Competition, a competition of software tools that aim to prove or disprove confluence and related (undecidable) properties of rewrite systems automatically.