BIRŠTUNAS, A. Apribojimai ciklų radimui sekvenciniame laiko logikos skaičiavime. Lietuvos matematikos rinkinys, v. 48, n. proc. LMS, p. 269–274, 21 gruodž.2008.