Confluence Competition 2019
Aart Middeldorp, Julian Nagele, Kiraku Shintani · Lecture notes in computer science · 2019
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.