TY  - RPRT
TI  - Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
AU  - Yuhui Lin
AU  - Gudmund Grov
AU  - Rob Arthan
PY  - 2016
UR  - https://arxiv.org/abs/1610.05593
ID  - 1610.05593
ER  -