| |
| 2003 | ||
|---|---|---|
| 2 | EE | Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang: A dynamic approach to characterizing termination of general logic programs. ACM Trans. Comput. Log. 4(4): 417-430 (2003) |
| 2002 | ||
| 1 | EE | Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang: A Dynamic Approach to Characterizing Termination of General Logic Programs CoRR cs.LO/0204031: (2002) |
| 1 | Yi-Dong Shen | [1] [2] |
| 2 | Qiang Yang | [1] [2] |
| 3 | Jia-Huai You | [1] [2] |
| 4 | Li-Yan Yuan | [1] [2] |