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