{log}: A Logic Programming Language with Finite Sets.

Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi

Browse the full ICLP paper archive.