When size does matter - Termination analysis for typed logic programs (2002)

by W Vanhoof, M Bruynooghe
Venue:Logic-based Program Synthesis and Transformation, Proceedings of LOPSTR 2001