Deriving Termination Proofs for Logic Programs, Using Abstract Procedures.

Kristof Verschaetse, Danny De Schreye

Browse the full ICLP paper archive.