Alonderis , Romas. 2009. “Ciklinės Neigimo Antecedente taisyklės Specializacija intuicionistinės propozicinės Logikos Fragmento Sekveciniam skaičiavimui”. Lietuvos Matematikos Rinkinys 50 (proc. LMS): 235–240. https://doi.org/10.15388/LMR.2009.42.