{log}: A logic programming language with finite sets

A. DOVIER

OMODEO, EUGENIO

E. PONTELLI

G. F. ROSSI