Pliuškevičienė A. Decision procedure for a fragment of dynamic logic. LMR [Internet]. 2001 Dec. 17 [cited 2025 Apr. 19];41(spec.):413–420. Available from: https://journals.vu.lt./LMR/article/view/34623