Extensional and Intensional Sets in CLP with Intensional Negation.
Paola Bruscoli, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli
VenueBICLP
Year1993
ProceedingsICLP Workshop on Logic Programming with Sets
DBLP recordconf/iclp/BruscoliRDOP93 ↗
Browse the full ICLP paper archive.