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