most citedAutomated Termination Analysis for Logic Programs with Cut

34 citations · 34 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2010★ 34 cited

Automated Termination Analysis for Logic Programs with Cut

Peter Schneider-Kamp, Jürgen Giesl, Thomas Ströder +2

Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, wherea…