A Semantic Basis for Termination Analysis of Logic Programs and Its Realization Using Symbolic Norm Constraints.

Michael Codish Cohavit Taboch A Semantic Basis for Termination Analysis of Logic Programs and Its Realization Using Symbolic Norm Constraints. 31-45 1997 conf/alp/1997 ALP/HOA db/conf/alp/alp97.html#CodishT97 http://dx.doi.org/10.1007/BFb0027001