Pliuškevičius, Regimantas. “Method of Marks for Propositional Linear Temporal Logic”. Lietuvos Matematikos Rinkinys, vol. 55, no. A, Dec. 2014, pp. 46–50, https://doi.org/10.15388/LMR.A.2014.09.