Pliuškevičius , R. and Pliuškevičienė, A. (2009) “A method of marks and indices for linear modal logic”, Lietuvos matematikos rinkinys, 50(proc. LMS), pp. 269–274. doi:10.15388/LMR.2009.48.