Agostino Dovier Enrico Pontelli Gianfranco Rossi Constructive Negation and Constraint Logic Programming with Sets. 209-256 2001 19 New Generation Comput. 3 db/journals/ngc/ngc19.html#DovierPR01