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