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

Agostino Dovier Eugenio G. Omodeo Enrico Pontelli Gianfranco Rossi {log}: A Logic Programming Language with Finite Sets. 111-124 1991 ICLP db/conf/iclp/iclp91.html#DovierOPR91