Termination Analysis with Types Is More Accurate (2003)

by V Lagoon, F Mesnard, P J Stuckey
Venue:In ICLP ’03. LNCS