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