"Induction Rules and Termination Proofs."

Peter Hitchcock, David Michael Ritchie Park (1972)
a service of Schloss Dagstuhl - Leibniz Center for Informatics