"On the Proof-Theoretic Strength of Monotone Induction in Explicit Mathematics."

Thomas Glaß, Michael Rathjen, Andreas Schlüter (1997)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics