Pliuškevičienė, A. 2001. Išsprendžiamoji procedūra dinaminės logikos fragmentui. Lietuvos matematikos rinkinys. 41, spec. (Dec. 2001), 413–420. DOI:https://doi.org/10.15388/LMR.2001.34623.