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.