Lin, Y., Grov, G., & Arthan, R. (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