Alonderis , Romas. 2009. “Specialization of Antecedent Negation Loop-Rule for a Fragment of Propositional Intuitionistic Logic Sequent Calculus”. Lietuvos Matematikos Rinkinys 50 (proc. LMS): 235–240. https://doi.org/10.15388/LMR.2009.42.