A note on a parameterized version of the well founded induction principle - Gramlich, Bernhard (Universität <Kaiserslautern> / SEKI-Projekt: SEKI-Report, 1995)