Giedra, H. 2010. Sekvencinis skaičiavimas be pjūvio taisyklės logikai S5n(ED). Lietuvos matematikos rinkinys. 51, proc. LMS (Dec. 2010), 336–341. DOI:https://doi.org/10.15388/LMR.2010.61.