The ARI Infrastructure for Automated Confluence Analysis.

Nao Hirokawa, Aart Middeldorp, Teppei Saito, Ren Thiemann

Browse the full IJCAR paper archive.