@misc{indiciae61009c9ac279,
  title = {PROOFTOOL: a GUI for the GAPT Framework},
  author = {Cvetan Dunchev and Alexander Leitsch and Tomer Libal and Martin Riener and Mikheil Rukhaia and Daniel Weller and Bruno Woltzenlogel-Paleo},
  year = {2013},
  doi = {10.4204/eptcs.118.1},
  url = {https://arxiv.org/abs/1307.1942},
  note = {Source identifier: 1307.1942}
}