A Framework of Directionality for Proving Termination of Logic Programs.

François Bronsard T. K. Lakshman Uday S. Reddy A Framework of Directionality for Proving Termination of Logic Programs. 321-335 1992 JICSLP db/conf/iclp/iclp92.html#BronsardLR92