4 citations · 4 across the 1 of their papers we have counts for
1 paper
Alexander Serebrenik, Danny De Schreye
We present a new approach to termination analysis of logic programs. The essence of the approach is that we make use of general term-orderings (instead of level mappings), like it…