Alonderis R. (2008) “Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus”, Lietuvos matematikos rinkinys, 48(proc. LMS), pp. 256–262. doi: 10.15388/LMR.2008.18105.