Pliuškevičius, Regimantas. 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.