Termination Analysis by Inductive Evaluation.

Jrgen Brauburger, Jrgen Giesl

Browse the full CADE paper archive.