A Labelled Sequent System for Tense Logic Kt. - Nicolette Bonnette; Rajeev Goré (Australian Joint Conference on Artificial Intelligence, 1998)