Automated termination analysis for logic programs with cut (2010)

by Peter Schneider-kamp , Jürgen Giesl , Thomas Ströder , Alexander Serebrenik , René Thiemann
Citations:24 - 13 self