@misc{indiciae959d77bdbd68,
  title = {TTT2 with Termination Templates for Teaching},
  author = {Jonas Schöpf and Christian Sternagel},
  year = {2018},
  url = {https://arxiv.org/abs/1806.05040},
  note = {Source identifier: 1806.05040}
}