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