Return to Article Details Automata-Based Termination Proofs Download Download PDF