Pliuškevičienė, A. (2002) “Decision procedure for a fragment of quantified branching temporal logic”, Lietuvos matematikos rinkinys, 42(spec.), pp. 476–480. doi:10.15388/LMR.2002.32980.