Ragauskas, Kostas, and Adomas Birštunas. “Grouping Based Calculus for Propositional Linear Temporal Logic”. Lietuvos Matematikos Rinkinys, vol. 65, no. A, Dec. 2024, pp. 18–24, https://doi.org/10.15388/LMD.2024.37368.