Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space.

Stefaan Decorte, Danny De Schreye

Browse the full ICLP paper archive.