@misc{indiciae2110566121d1,
  title = {Tool support for reasoning in display calculi},
  author = {Samuel Balco and Sabine Frittella and Giuseppe Greco and Alexander Kurz and Alessandra Palmigiano},
  year = {2016},
  url = {https://arxiv.org/abs/1601.01113},
  note = {Source identifier: 1601.01113}
}