Non-termination Analysis of Logic Programs Using Types.

Dean Voets, Danny De Schreye

Browse the full LOPSTR paper archive.