R. Pliuškevičius, “Method of marks for propositional linear temporal logic”, LMR, vol. 55, no. A, pp. 46–50, Dec. 2014, doi: 10.15388/LMR.A.2014.09.