Pliuškevičienė, Aida. 2002. “Išsprendžiamoji procedūra kvantorinės Skaidaus Laiko Logikos Fragmentui”. Lietuvos Matematikos Rinkinys 42 (spec.): 476–480. https://doi.org/10.15388/LMR.2002.32980.