(1)
Haeusler , E. H.; Pereira , L. C. P. D. . The Rules-As Types Interpretations of Schröder-Heister’s Extension of Natural Deduction. Manuscrito - Rev. Int. Fil. 1999, 22, 149-163.