Wilfried Buchholz Proof-Theoretic Analysis of Termination Proofs. 57-65 1995 75 Ann. Pure Appl. Logic 1-2 db/journals/apal/apal75.html#Buchholz95