16 citations · 16 across the 1 of their papers we have counts for
1 paper
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle +1
We propose a modular method for proving termination of general logic programs (i.e., logic programs with negation). It is based on the notion of acceptable programs, but it allows…