27 citations · 101 across the 22 of their papers we have counts for
1 paper · 2 filters
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
We propose a set of transformation rules for constraint logic programs with negation. We assume that every program is locally stratified and, thus, it has a unique perfect model. W…