Birštunas A. Apribojimai ciklų radimui sekvenciniame laiko logikos skaičiavime. LMR [Prieiga per internetą]. 2008 m.gruodžio21 d. [žiūrėta 2026 m.vasario1 d.];48(proc. LMS):269–274. Adresas: https://www.journals.vu.lt/LMR/article/view/18108