Next: [4], Previous: [2], Up: Bibliography
Chris Speirs, Termination Analysis for Logic Programs, Technical Report 97/23, Department of Computer Science, The University of Melbourne, Melbourne, Australia, 1997. Available from <http://www.cs.mu.oz.au/mercury/papers/mu_97_23.ps.gz>.