Michael Rathjen The Role of Parameters in Bar Rule and Bar Induction. 715-730 1991 56 J. Symb. Log. 2 db/journals/jsyml/jsyml56.html#Rathjen91 https://doi.org/10.2307/2274713 http://projecteuclid.org/euclid.jsl/1183743670