Pliuškevičius, R. (2014) “Method of marks for propositional linear temporal logic”, Lietuvos matematikos rinkinys, 55(A), pp. 46–50. doi:10.15388/LMR.A.2014.09.