Alonderis R. Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus. Lietuvos matematikos rinkinys, v. 48, n. proc. LMS, p. 256–262, 21 Dec. 2008.