1. Alves, S., Fernández, M., Mackie, I.: A new graphical calculus of proofs. In: Echahed, R. (ed.) TERMGRAPH 2011, vol. 48, pp. 69–84 (2011)
2. Barwise, J., Etchemendy, J.: Heterogeneous logic. In: Logical Reasoning with Diagrams, pp. 179–200. Oxford University Press Inc. (1996)
3. Burton, J., Stapleton, G., Howse, J.: Completeness proof strategies for Euler diagram logics. In: Euler Diagrams 2012, vol. 854, pp. 2–16. CEUR (2012)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);R Freitas de,2012
5. Gentzen, G.: Untersuchungen über das logische Schließen I. Math. Z. 39, 176–210 (1935)