Induction rules and termination proofs (1972)

by P Hitchcock, D Park
Venue:Proceedings 1st Symp. on Automata, Languages, and Programming, ICALP’72