Abstract
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.
Get full access to this article
View all access options for this article.