Termination Proofs for Logic Programs Based on Predicate Inequalities.

Lutz Plümer Termination Proofs for Logic Programs Based on Predicate Inequalities. 634-648 1990 ICLP db/conf/iclp/iclp90.html#Plumer90