The Advent of Formal Diagrammatic Reasoning Systems.

Frithjof Dau

Browse the full ICFCA paper archive.