Handling of Mutual Recursion in Automatic Termination Proofs for Logic Programs.

Gerhard Grger, Lutz Plmer

Browse the full ICLP paper archive.