Agostino Dovier, Enrico Pontelli, Gianfranco Rossi. Constructive Negation and Constraint Logic Programming with Sets. New Generation Comput., 19(3):209-256, 2001.
No references recorded for this publication.
No citations of this publication recorded.