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