1. Barker-Plummer, D., Swoboda, N.: Reasoning with coincidence grids—a sequent-based logic and an analysis of complexity. J. Vis. Lang. Comput. 22(1), 56–65 (2011)
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);D Barker-Plummer,2014
3. Barwise, J., Etchemendy, J.: Heterogeneous logic. In: Glasgow, J., Hari Narayanan, N., Chanrasekaran, B. (eds.) Diagrammatic Reasoning: Cognitive and Computational Perspectives, pp. 211–234. MIT Press/AAAI Press, Cambridge/Menlo Park (1995)
4. Bulkowski, T.N.: Encyclopedia of Chart Patterns, 2nd edn. Wiley, Hoboken (2005)
5. Giaquinto, M.: Visual Thinking in Mathematics: An Epistemological Study. Oxford University Press, Oxford (2007)