Sofie Verbaeten Danny De Schreye Konstantinos F. Sagonas Termination Proofs for Logic Programs with Tabling http://arxiv.org/abs/cs.LO/0003045 2000 CoRR cs.LO/0003045 db/journals/corr/corr0003.html#cs-LO-0003045 informal publication