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 54, no. 2 (November 27, 2025): 227–282. Accessed December 18, 2025. https://www.czasopisma.uni.lodz.pl/bulletin/article/view/24474.