(1)
Alonderis R. Specialization of Antecedent Negation Loop-Rule for a Fragment of Propositional Intuitionistic Logic Sequent Calculus. LMR 2009, 50, 235–240.