N. Kamide and S. Negri, “Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics”, B Sect Log, vol. 54, no. 2, pp. 227–282, Nov. 2025, doi: 10.18778/0138-0680.2025.09.