4 citations · 5 across the 5 of their papers we have counts for
1 paper · 2 filters
Etienne Payet, Fred Mesnard
On the one hand, termination analysis of logic programs is now a fairly established research topic within the logic programming community. On the other hand, non-termination analys…