A Framework of Directionality for Proving Termination of Logic Programs.

Franois Bronsard, T. K. Lakshman, Uday S. Reddy

Browse the full ICLP paper archive.