EasyChair Smart Slide
Effective Translations between Display and Labelled Proofs for Tense Logics
Effective Translations between Display and Labelled Proofs for Tense Logics