Alonderis R. Ciklinės neigimo antecedente taisyklės specializacija intuicionistinės propozicinės logikos fragmento sekveciniam skaičiavimui. LMR [Prieiga per internetą]. 2009 m.gruodžio20 d. [žiūrėta 2025 m.spalio27 d.];50(proc. LMS):235–240. Adresas: https://test.zurnalai.vu.lt/LMR/article/view/17970