Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs.

Frdric Mesnard, Ulrich Neumerkel

Browse the full SAS paper archive.