Induction Rules and Termination Proofs.

Peter Hitchcock, David Michael Ritchie Park

Browse the full ICALP paper archive.