Agostino Dovier Eugenio G. Omodeo Enrico Pontelli Gianfranco Rossi A Language for Programming in Logic with Finite Sets. 1-44 1996 28 J. Log. Program. 1 db/journals/jlp/jlp28.html#DovierOPR96