CSI - A Confluence Tool.

Harald Zankl, Bertram Felgenhauer, Aart Middeldorp

Browse the full CADE paper archive.