E. H. Haeusler e L. C. P. D. . Pereira, “The rules-as types interpretations of Schröder-Heister’s extension of natural deduction”, Manuscrito - Rev. Int. Fil., vol. 22, nº 2, p. 149–163, out. 1999.