Klaus Mainzer: Is the intuitionistic bar-induction a constructive principle? Notre Dame J. Formal Log. 18(4): 583-588 (1977)