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