@article{journals/corr/abs-cs-0512055, title = {Termination Analysis of General Logic Programs for Moded Queries: A Dynamic Approach}, author = {Yi-Dong Shen and Danny De Schreye}, journal = {CoRR}, note = {informal publication}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0512.html#abs-cs-0512055}, volume = {abs/cs/0512055}, year = {2005}, biburl = {http://www.bibsonomy.org/bibtex/244fb90044aadba3379c341e1ddb8bd2b/dblp}, description = {dblp}, ee = {http://arxiv.org/abs/cs/0512055}, date = {2008-01-02}, keywords = {dblp } }