Methodology for Proving the Termination of Logic Programs.

Bal Wang R. K. Shyamasundar Methodology for Proving the Termination of Logic Programs. 214-227 1991 conf/stacs/1991 STACS db/conf/stacs/stacs91.html#WangS91 http://dx.doi.org/10.1007/BFb0020800