Automated Reasoning with Restricted Intensional Sets

Maximiliano Cristiá, Gianfranco Rossi

Intensional sets, i.e., sets given by a property rather than by enumerating elements, are widely recognized as a key feature to describe complex problems (see, e.g., specification…