Lin, YuHui, Gudmund Grov, and Rob Arthan. 2016. “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 (2):69-130. https://doi.org/10.6092/issn.1972-5787/6298.