%0 Journal Article %1 journals/tocl/ShenYYSY03 %A Shen, Yi-Dong %A You, Jia-Huai %A Yuan, Li-Yan %A Shen, Samuel S. P. %A Yang, Qiang %D 2003 %J ACM Trans. Comput. Log. %K dblp %N 4 %P 417-430 %T A dynamic approach to characterizing termination of general logic programs. %U http://dblp.uni-trier.de/db/journals/tocl/tocl4.html#ShenYYSY03 %V 4

@article{journals/tocl/ShenYYSY03, added-at = {2018-11-06T00:00:00.000+0100}, author = {Shen, Yi-Dong and You, Jia-Huai and Yuan, Li-Yan and Shen, Samuel S. P. and Yang, Qiang}, biburl = {https://www.bibsonomy.org/bibtex/2515ac643ed34e5f40c2f99bba4ae4331/dblp}, ee = {https://doi.org/10.1145/937555.937556}, interhash = {cefc2b7219c0e56c56a778d999f715f6}, intrahash = {515ac643ed34e5f40c2f99bba4ae4331}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 4, pages = {417-430}, timestamp = {2018-11-07T12:18:23.000+0100}, title = {A dynamic approach to characterizing termination of general logic programs.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl4.html#ShenYYSY03}, volume = 4, year = 2003 }