(1)
Alonderis R. Propozicinės intuicionistinės Logikos Sekvencijų įrodymo paieška Naudojant klasikinės Logikos skaičiavimą. LMR 2008, 48, 256–262.