R. Ramanayake, A. Ciabattoni, T. Lyon: "From Display to Labelled Proofs for Tense Logics"; accepted for publication in: "Proceedings of LFCS 2018.", WordPress.