Decision procedure for a fragment of quantified branching temporal logic - Pliuškevičienė, Aida (Lietuvos matematikos rinkinys, 2002)
There is not abstract.