@misc{indiciaeddb3273f2714,
  title = {Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC},
  author = {Yuhui Lin and Gudmund Grov and Rob Arthan},
  year = {2016},
  url = {https://arxiv.org/abs/1610.05593},
  note = {Source identifier: 1610.05593}
}