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