Agata Ciabattoni, Tim S. Lyon, Revantha Ramanayake, Alwen Tiu. Display to Labeled Proofs and Back Again for Tense Logics. ACM Trans. Comput. Log., 22(3), 2021. [doi]
@article{CiabattoniLRT21, title = {Display to Labeled Proofs and Back Again for Tense Logics}, author = {Agata Ciabattoni and Tim S. Lyon and Revantha Ramanayake and Alwen Tiu}, year = {2021}, doi = {10.1145/3460492}, url = {https://doi.org/10.1145/3460492}, researchr = {https://researchr.org/publication/CiabattoniLRT21}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {22}, number = {3}, }