Agostino Dovier, Enrico Pontelli, Gianfranco Rossi. Constructive Negation and Constraint Logic Programming with Sets. New Generation Comput., 19(3):209-256, 2001.
@article{DovierPR01,
title = {Constructive Negation and Constraint Logic Programming with Sets},
author = {Agostino Dovier and Enrico Pontelli and Gianfranco Rossi},
year = {2001},
tags = {constraints, logic programming, programming, logic},
researchr = {https://researchr.org/publication/DovierPR01},
cites = {0},
citedby = {0},
journal = {New Generation Comput.},
volume = {19},
number = {3},
pages = {209-256},
}