Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices.

Ulrich Neumerkel, Frdric Mesnard

Browse the full PPDP paper archive.