@misc{indiciae8a7318aeb9ab,
  title = {TGView3D System Description: 3-Dimensional Visualization of Theory Graphs},
  author = {Richard Marcus and Michael Kohlhase and Florian Rabe},
  year = {2020},
  url = {https://arxiv.org/abs/1905.07076},
  note = {Source identifier: 1905.07076}
}