Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs.

Stefaan Decorte, Danny De Schreye

Browse the full ICLP paper archive.