PLIUŠKEVIČIENĖ, A. Išsprendžiamoji procedūra dinaminės logikos fragmentui. Lietuvos matematikos rinkinys, v. 41, n. spec., p. 413–420, 17 gruodž.2001.