Kamide N, Negri S. Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics. B Sect Log [Internet]. 2025 Nov. 27 [cited 2025 Dec. 18];54(2):227-82. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/24474