Nao Hirokawa, Julian Nagele, and Aart Middeldorp
Proceedings of the 9th International Joint Conference on Automated Reasoning (IJCAR 2018), Lecture Notes in Artificial Intelligence 10900, pp. 346 – 353, 2018.
pdf 
doi:10.1007/978-3-319-94205-6_23
Springer International Publishing AG
Abstract
In this paper we describe the infrastructure supporting confluence tools and competitions: Cops, the confluence problems database, and CoCoWeb, a convenient web interface for tools that participate in the annual confluence competition.
BibTex
@inproceedings{NHJNAM-IJCAR18, author = "Nao Hirokawa and Julian Nagele and Aart Middeldorp", title = "Cops and {CoCoWeb}: Infrastructure for Confluence Tools", booktitle = "Proceedings of the 9th International Joint Conference on Automated Reasoning (IJCAR 2019)", editor = "Didier Galmiche and Stephan Schulz and Roberto Sebastiani", series = "Lecture Notes in Artificial Intelligence", volume = 10900, pages = "346--353", year = 2018, doi = "10.1007/978-3-319-94205-6_23"}