R. . Pliuškevičius, „Beciklis įrodymų baigtinumo tikrinimas dinaminės logikos fragmentui“, LMR, t. 48, nr. proc. LMS, p. 283–287, gruodž. 2008, doi: 10.15388/LMR.2008.18111.