Automated termination analysis for logic programs by term rewriting (2007)

by P Schneider-Kamp, J Giesl, A Serebrenik, R Thiemann
Venue:In LOPSTR’06, LNCS 4407