Automated Termination Proofs for Logic Programs by Term Rewriting

Peter Schneider-Kamp, Jürgen Giesl, Alexander Serebrenik, and René Thiemann
ACM Transactions on Computational Logic 11(1), pp. 1 – 52, 2009.

abstract   BibTeX   PDF   doi:10.1145/1614431.1614433  
ACM