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

Stefaan Decorte Danny De Schreye Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs. 78-92 1997 ICLP db/conf/iclp/iclp97.html#DecorteS97