Peter Schneider-Kamp Jürgen Giesl Alexander Serebrenik René Thiemann Automated Termination Proofs for Logic Programs by Term Rewriting http://arxiv.org/abs/0803.0014 2008 CoRR abs/0803.0014 db/journals/corr/corr0803.html#abs-0803-0014 informal publication