6 citations · 6 across the 7 of their papers we have counts for
1 paper · 2 filters
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan +2
We present a new characterization of termination of general logic programs. Most existing termination analysis approaches rely on some static information about the structure of the…