4 citations · 5 across the 7 of their papers we have counts for
1 paper · 2 filters
Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv +1
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in the…