Alonderis R. Propozicinės intuicionistinės logikos sekvencijų įrodymo paieška naudojant klasikinės logikos skaičiavimą. Lietuvos matematikos rinkinys, v. 48, n. proc. LMS, p. 256–262, 21 gruodž. 2008.