Lin, YuHui, Gudmund Grov, and Rob Arthan. “Understanding and Maintaining Tactics Graphically OR How We Are Learning That a Diagram Can Be Worth More Than 10K LoC”. Journal of Formalized Reasoning 9, no. 2 (January 1, 2016): 69–130. Accessed April 23, 2024. https://jfr.unibo.it/article/view/6298.