Pliuškevičius , Regimantas, and Aida Pliuškevičienė. 2009. “A Method of Marks and Indices for Linear Modal Logic”. Lietuvos Matematikos Rinkinys 50 (proc. LMS): 269–274. https://doi.org/10.15388/LMR.2009.48.