1. Alves, S., Fernández, M., Mackie, I.: A new graphical calculus of proofs. In: TERMGRAPH. EPTCS, vol. 48 (2011)
2. Andrei, O., Kirchner, H.: A rewriting calculus for multigraphs with ports. ENTCS 219, 67–82 (2008)
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence),2007
4. Benkmann, M.: Visualization of natural deduction as a game of dominoes. http://www.winterdrache.de/freeware/domino/data/article.html
5. Breitner, J.: Incredible proof machine. Conversation with Sebastian Ritterbusch, Modellansatz Podcast, Episode 78, Karlsruhe Institute of Technology (2016). http://modellansatz.de/incredible-proof-machine