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