Inference of Termination Conditions for Numerical Loops in Prolog.

Alexander Serebrenik, Danny De Schreye

Browse the full LPAR paper archive.