@misc{indiciae27272643f389,
  title = {Advanced Proof Viewing in ProofTool},
  author = {Tomer Libal and Martin Riener and Mikheil Rukhaia},
  year = {2014},
  doi = {10.4204/eptcs.167.6},
  url = {https://arxiv.org/abs/1410.8218},
  note = {Source identifier: 1410.8218}
}