From set unification to set constraints
Gianfranco Rossi · Intelligenza Artificiale · 2011
In this paper, we briefly summarize some of the most challenging issues that arise when allowing sets to be dealt with as first-class objects of a logic language, ranging from unification of well-founded and non-well-founded sets, to set constraint solving.