Univ.-Prof. Dr. Aart Middeldorp   

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 (preprint)   doi:10.1007/978-3-319-94205-6_23
© Springer International Publishing AG