@misc{indiciae3dbbc9e7c178, title = {Termination Prediction for General Logic Programs}, author = {Yi-Dong Shen and Danny De Schreye and Dean Voets}, year = {2009}, url = {https://arxiv.org/abs/0905.2004}, note = {Source identifier: 0905.2004} }