Ragauskas, K. and Birštunas, A. (2024) “Grouping based calculus for propositional linear temporal logic”, Lietuvos matematikos rinkinys, 65(A), pp. 18–24. doi:10.15388/LMD.2024.37368.