Termination Proofs for Logic Programs Based on Predicate Inequalities.

Lutz Plmer

Browse the full ICLP paper archive.