Termination Analysis with Types Is More Accurate.

Vitaly Lagoon, Frdric Mesnard, Peter J. Stuckey

Browse the full ICLP paper archive.