Pliuškevičius, R. 2002. Išsprendžiamoji procedūra kvantorinės tiesinio laiko logikos fragmentui su pusiau-periodiniais branduoliais. Lietuvos matematikos rinkinys. 42, spec. (Dec. 2002), 481–489. DOI:https://doi.org/10.15388/LMR.2002.32981.