Automated Termination Analysis for Logic Programs by Term Rewriting.

Peter Schneider-Kamp, Jrgen Giesl, Alexander Serebrenik, Ren Thiemann

Browse the full LOPSTR paper archive.