Frithjof Dau. The Advent of Formal Diagrammatic Reasoning Systems. In Sébastien Ferré, Sebastian Rudolph, editors, Formal Concept Analysis, 7th International Conference, ICFCA 2009, Darmstadt, Germany, May 21-24, 2009, Proceedings. Volume 5548 of Lecture Notes in Computer Science, pages 38-56, Springer, 2009. [doi]
Abstract is missing.