Alonderis , R. (2008) “Propozicinės intuicionistinės logikos sekvencijų įrodymo paieška naudojant klasikinės logikos skaičiavimą”, Lietuvos matematikos rinkinys, 48(proc. LMS), pp. 256–262. doi:10.15388/LMR.2008.18105.