Pliuškevičius, R. (2014). Method of marks for propositional linear temporal logic. Lietuvos Matematikos Rinkinys, 55(A), 46–50. https://doi.org/10.15388/LMR.A.2014.09