Kamide, Norihiro, and Sara Negri. “Unified Sequent Calculi and Natural Deduction Systems for Until-Free Linear-Time Temporal Logics”. Bulletin of the Section of Logic, vol. 54, no. 2, Nov. 2025, pp. 227-82, doi:10.18778/0138-0680.2025.09.