Kamide, N.; Negri, S. Unified Sequent Calculi and Natural Deduction Systems for Until-Free Linear-Time Temporal Logics. B Sect Log 2025, 54 (2), 227-282. https://doi.org/10.18778/0138-0680.2025.09.