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