TY  - RPRT
TI  - Display to Labeled Proofs and Back Again for Tense Logics
AU  - Agata Ciabattoni
AU  - Tim S. Lyon
AU  - Revantha Ramanayake
AU  - Alwen Tiu
PY  - 2021
DO  - 10.1145/3460492
UR  - https://arxiv.org/abs/1911.02289
ID  - 1911.02289
ER  -