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

Ulrich Neumerkel Frédéric Mesnard Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices. 328-342 1999 conf/ppdp/1999 PPDP db/conf/ppdp/ppdp1999.html#NeumerkelM99