PLIUŠKEVIČIENĖ, A. Išsprendžiamoji procedūra kvantorinės skaidaus laiko logikos fragmentui. Lietuvos matematikos rinkinys, v. 42, n. spec., p. 476–480, 20 gruodž.2002.