Publications in Scientific Journals:
A. Ciabattoni, T. Lyon, R. Ramanayake et al.:
"Display to Labeled Proofs and Back Again for Tense Logics";
ACM Transactions on Computational Logic,
22
(2021),
3;
1
- 31.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/3460492
Created from the Publication Database of the Vienna University of Technology.