Alonderis R. (2008). Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus. Lietuvos Matematikos Rinkinys, 48(proc. LMS), 256–262. https://doi.org/10.15388/LMR.2008.18105