1. Barker-Plummer, D., Etchemendy, J.: A computational architecture for heterogeneous reasoning. Journal of Experimental & Theoretical Artificial Intelligence 19(3), 195–225 (2007)
2. Barker-Plummer, D., Swoboda, N.: Reasoning with coincidence grids–A sequent-based logic and an analysis of complexity. Journal of Visual Languages and Computing 22(1), 56–65 (2011)
3. Barwise, J., Etchemendy, J.: Heterogeneous Logic. In: Allwein, G., Barwise, J. (eds.) Logical Reasoning with Diagrams. Oxford Studies In Logic And Computation Series, pp. 179–200 (1996)
4. Barwise, J., Etchemendy, J.: Hyperproof: For Macintosh. The Center for the Study of Language and Information Publications (1995)
5. Bertin, J.: Semiology of Graphics: Diagrams, Networks, Maps. The University of Wisconsin Press, Madison (1973)