[3]

Chris Speirs, Termination Analysis for Logic Programs, Technical Report 97/23, Department of Computer Science, The University of Melbourne, Melbourne, Australia, 1997. Available from https://www.mercurylang.org/documentation/papers/mu_97_23.ps.gz.