PLIUŠKEVIČIUS , R. Beciklis įrodymų baigtinumo tikrinimas dinaminės logikos fragmentui. Lietuvos matematikos rinkinys, v. 48, n. proc. LMS, p. 283–287, 21 gruodž.2008.