Ragauskas K, Birštunas A. Grouping based calculus for propositional linear temporal logic. LMR [Internet]. 2024 Dec. 10 [cited 2025 Oct. 27];65(A):18–24. Available from: https://test.zurnalai.vu.lt/LMR/article/view/37368