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