Lin, Y., Grov, G. and 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), pp. 69–130. doi: 10.6092/issn.1972-5787/6298.