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"
}