Practical Methods for Proving Termination of General Logic Programs.

Elena Marchiori Practical Methods for Proving Termination of General Logic Programs. 179-208 1996 4 J. Artif. Intell. Res. (JAIR) db/journals/jair/jair4.html#Marchiori96 http://dx.doi.org/10.1613/jair.198