Termination analysis with types is more accurate (0)

by V Lagoon, F Mesnard, P J Stuckey
Venue:Proceedings of Logic Programming, 19th International Conference, ICLP 2003, volume 2916 of Springer-Verlag Lecture