A dynamic approach to characterizing termination of general logic programs
Shen, Yi-Dong, You, Jia-Huai, Yuan, Li-Yan, Shen, Samuel S. P., Yang, QiangVolume:
4
Language:
english
Journal:
ACM Transactions on Computational Logic
DOI:
10.1145/937555.937556
Date:
October, 2003
File:
PDF, 151 KB
english, 2003