Predicate Inequalities as a Basis for Automated Termination Proofs for Prolog Programs.

Lutz Plmer

Browse the full CSL paper archive.