arXiv 2002-04-12 EN A Dynamic Approach to Characterizing Termination of General Logic Programs Shen, Yi-Dong · You, Jia-Huai · Yuan, Li-Yan · Shen, Samuel S. P. +1
