Inferring and Compiling Termination for Constraint Logic Programs.

Sbastien Hoarau, Frdric Mesnard

Browse the full LOPSTR paper archive.