TY  - RPRT
TI  - Tool support for reasoning in display calculi
AU  - Samuel Balco
AU  - Sabine Frittella
AU  - Giuseppe Greco
AU  - Alexander Kurz
AU  - Alessandra Palmigiano
PY  - 2016
UR  - https://arxiv.org/abs/1601.01113
ID  - 1601.01113
ER  -