PLIUŠKEVIČIENĖ, A. Decision procedure for a fragment of quantified branching temporal logic. Lietuvos matematikos rinkinys, v. 42, n. spec., p. 476–480, 20 Dec.2002.