47 citations · 54 across the 11 of their papers we have counts for
1 paper · 1 filter
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…