Cops and CoCoWeb: Infrastructure for Confluence Tools

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.

abstract   BibTeX   PDF   doi:10.1007/978-3-319-94205-6_23  
Springer International Publishing AG