Termination Analysis by Dependency Pairs and Inductive Theorem Proving.

Stephan Swiderski, Michael Parting, Jrgen Giesl, Carsten Fuhs, Peter Schneider-Kamp

Browse the full CADE paper archive.