@book(atkin:p,
 author       = {A. Atkin},
 year         = {2015},
 title        = {Peirce (The Routledge Philosophers)},
 publisher    = {Routledge},
)
@incollection(barker-plummer:oafffhr,
 author       = {Barker-Plummer, D. and J. Etchemendy and A. Liu and M. Murray and N. Swoboda},
 year         = {2008},
 title        = {Openproof - A Flexible Framework for Heterogeneous Reasoning},
 booktitle    = {Diagrammatic Representation and Inference},
 series       = {LNAI},
 volume       = {5223},
 publisher    = {Springer},
 pages        = {347--349},
 doi          = {10.1007/978-3-540-87730-1\_32},
)
@book(barwise:h,
 author       = {J. Barwise and J. Etchemendy},
 year         = {1994},
 title        = {Hyperproof},
 publisher    = {CSLI Press},
)
@article(gurr:edcsspi,
 author       = {C. Gurr},
 year         = {1999},
 title        = {Effective Diagrammatic Communication: Syntactic, Semantic and Pragmatic Issues},
 journal      = {Journal of Visual Languages \& Computing},
 volume       = {10},
 number       = {4},
 pages        = {317--342},
 doi          = {10.1006/jvlc.1999.0130},
)
@article(Hart1968,
 author       = {P. E. Hart and N. J. Nilsson and B. Raphael},
 year         = {1968},
 title        = {A Formal Basis for the Heuristic Determination of Minimum Cost Paths},
 journal      = {IEEE Transactions on Systems Science and Cybernetics},
 volume       = {4},
 number       = {2},
 pages        = {100--107},
 doi          = {10.1109/TSSC.1968.300136},
)
@incollection(Howse2002,
 author       = {J. Howse and G. Stapleton and J. Flower and J. Taylor},
 year         = {2002},
 title        = {Corresponding {Regions} in {Euler} {Diagrams}},
 booktitle    = {Diagrammatic {Representation} and {Inference}},
 series       = {LNAI},
 volume       = {2317},
 publisher    = {Springer},
 pages        = {76--90},
 doi          = {10.1007/3-540-46037-3\_7},
)
@article(howse:sd,
 author       = {J. Howse and G. Stapleton and Taylor},
 year         = {2005},
 title        = {Spider Diagrams},
 journal      = {LMS Journal of Computation and Mathematics},
 volume       = {8},
 pages        = {145--194},
 doi          = {10.1112/S1461157000000942},
)
@book(jamnik:mrwd,
 author       = {M. Jamnik},
 year         = {2001},
 title        = {Mathematical Reasoning with Diagrams},
 publisher    = {CSLI Press},
)
@inproceedings(Kissinger2015,
 author       = {A. Kissinger and V. Zamdzhiev},
 year         = {2015},
 title        = {Quantomatic: A Proof Assistant for Diagrammatic Reasoning},
 booktitle    = {Automated Deduction - CADE},
 series       = {LNCS},
 volume       = {9195},
 publisher    = {Springer},
 pages        = {326--336},
 doi          = {10.1007/978-3-319-21401-6\_22},
)
@inproceedings(linker:mucoiried,
 author       = {S. Linker and J. Burton and A. Blake},
 year         = {2016},
 title        = {Measuring User Comprehension of Inference Rules in {E}uler Diagrams},
 booktitle    = {Diagrammatic Representation and Inference},
 series       = {LNAI},
 volume       = {9781},
 publisher    = {Springer},
 pages        = {32--39},
 doi          = {10.1007/978-3-319-42333-3\_3},
)
@book(Milner1997,
 author       = {R. Milner and M. Tofte and D. Macqueen},
 year         = {1997},
 title        = {The Definition of Standard ML},
 publisher    = {MIT Press},
 address      = {Cambridge, USA},
)
@article(Mineshima2014,
 author       = {K. Mineshima and Y. Sato and R. Takemura and M. Okada},
 year         = {2014},
 title        = {Towards explaining the cognitive efficacy of Euler diagrams in syllogistic reasoning: A relational perspective},
 journal      = {Journal of Visual Languages \& Computing},
 volume       = {25},
 number       = {3},
 pages        = {156--169},
 doi          = {10.1016/j.jvlc.2013.08.007},
)
@techreport(Odersky2004,
 author       = {M. Odersky and P. Altherr and V. Cremet and B. Emir and S. Maneth and S. Micheloud and N. Mihaylov and M. Schinz and E. Stenman and M. Zenger},
 year         = {2004},
 title        = {An {O}verview of the {S}cala {P}rogramming {L}anguage},
 type         = {Technical Report},
 number       = {IC/2004/64},
 institution  = {EPFL},
)
@book(Paulson1994,
 author       = {L. C. Paulson},
 year         = {1994},
 title        = {Isabelle - {A} Generic Theorem Prover},
 series       = {LNCS},
 volume       = {828},
 publisher    = {Springer},
)
@inproceedings(shimojima:iaecogrsasg,
 author       = {A. Shimojima},
 year         = {2004},
 title        = {Inferential and Expressive Capacities of Graphical Representations: Survey and Some Generalizations},
 booktitle    = {Diagrammatic Representation and Inference},
 series       = {LNAI},
 volume       = {2980},
 publisher    = {Springer},
 pages        = {18--21},
 doi          = {10.1007/978-3-540-25931-2\_3},
)
@article(stapleton:atpieds,
 author       = {G. Stapleton and J. Masthoff and J. Flower and A. Fish and J. Southern},
 year         = {2007},
 title        = {Automated Theorem Proving in {E}uler Diagrams Systems},
 journal      = {Journal of Automated Reasoning},
 volume       = {39},
 number       = {4},
 pages        = {431--470},
 doi          = {10.1007/s10817-007-9069-y},
)
@article(stapleton:dedwcttop,
 author       = {G. Stapleton and L. Zhang and J. Howse and P. Rodgers},
 year         = {2011},
 title        = {Drawing Euler Diagrams with Circles: The Theory of Piercings.},
 journal      = {IEEE {Transactions} on {Visualization} and {Computer} {Graphics}},
 volume       = {17},
 number       = {7},
 pages        = {1020--1032},
 doi          = {10.1109/TVCG.2010.119},
)
@inproceedings(uj-ijcar2012-diabelli,
 author       = {M. Urbas and M. Jamnik},
 year         = {2012},
 title        = {Diabelli: A Heterogeneous Proof System},
 editor       = {B. Gramlich and D. Miller and U. Sattler},
 booktitle    = {IJCAR},
 series       = {LNAI},
 volume       = {7364},
 publisher    = {Springer},
 pages        = {559--566},
 doi          = {10.1007/978-3-642-31365-3\_44},
)
@inproceedings(uj-diagrams2014-mixr,
 author       = {M. Urbas and M. Jamnik},
 year         = {2014},
 title        = {A Framework for Heterogeneous Reasoning in Formal and Informal Domains},
 editor       = {T. Dwyer and H.C. Purchase and A. Delaney},
 booktitle    = {Diagrams},
 series       = {LNCS},
 volume       = {8578},
 publisher    = {Springer},
 pages        = {277--292},
 doi          = {10.1007/978-3-662-44043-8\_28},
)
@article(Urbas2015,
 author       = {M. Urbas and M. Jamnik and G. Stapleton},
 year         = {2015},
 title        = {Speedith: {A} {Reasoner} for {Spider} {Diagrams}},
 journal      = {Journal of Logic, Language and Information},
 pages        = {1--54},
 doi          = {10.1007/s10849-015-9229-0},
)