Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik. An Experimental Comparison of Diagrammatic and Algebraic Logics. In Alan F. Blackwell, Kim Marriott, Atsushi Shimojima, editors, Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings. Volume 2980 of Lecture Notes in Computer Science, pages 432-434, Springer, 2004. [doi]
Abstract is missing.