Title: An Abstract Interpretation approach to Termination of Logic 
Authors: Roberta Gori

Abstract:

In this paper we  define a semantic foundation for an abstract 
interpretation approach to universal termination and we develop  a 
new abstract domain useful for termination analysis.
Based on this approximation  we define a method which is able to 
detect  classes of goals which  universally terminate (with  a fair 
selection rule).
We also define a method which is able to characterize classes of 
programs and goals for which depth-first search is fair.