Pliuškevičienė, A. 2002. Išsprendžiamoji procedūra kvantorinės skaidaus laiko logikos fragmentui. Lietuvos matematikos rinkinys. 42, spec. (Dec. 2002), 476–480. DOI:https://doi.org/10.15388/LMR.2002.32980.