Lin, Y. et al. 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 (Jan. 2016), 69–130. DOI:https://doi.org/10.6092/issn.1972-5787/6298.