A New Approach to Non-termination Analysis of Logic Programs.

Dean Voets, Danny De Schreye

Browse the full ICLP paper archive.