Aart Middeldorp, Julian Nagele, and Kiraku Shintani
Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019, part III), Lecture Notes in Computer Science 11429, pp. 25 – 40, 2019.
pdf 
doi:10.1007/978-3-030-17502-3_2
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.
BibTex
@inproceedings{MNS-TACAS19, author = "Aart Middeldorp and Julian Nagele and Kiraku Shintani", title = "Confluence Competition 2019", booktitle = "Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Part III)", editor = "Dirk Beyer and Marieke Huisman and Fabrice Kordon and Bernhard Steffen", series = "Lecture Notes in Computer Science", volume = 11429, pages = "25--40", year = 2019, doi = "10.1007/978-3-030-17502-3_2"}