Pliuškevičius, R. Method of Marks for Propositional Linear Temporal Logic. LMR 2014, 55 (A), 46–50. https://doi.org/10.15388/LMR.A.2014.09.