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