C. Speirs, Z. Somogyi, and H. Søndergaard, Termination analysis for Mercury, Proc. of the 1997 Intl. Symp. on Static Analysis, vol.1302, 1997.
DOI : 10.1007/bfb0032740