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