Pliuškevičienė, A. 2001. Decision procedure for a fragment of dynamic logic. Lietuvos matematikos rinkinys. 41, spec. (Dec. 2001), 413–420. DOI:https://doi.org/10.15388/LMR.2001.34623.