TY  - RPRT
TI  - Complexity assessments for decidable fragments of Set Theory. IV: A quadratic reduction of constraints over nested sets to Boolean formulae
AU  - Domenico Cantone
AU  - Andrea De Domenico
AU  - Pietro Maugeri
AU  - Eugenio G. Omodeo
PY  - 2022
UR  - https://arxiv.org/abs/2112.04797
ID  - 2112.04797
ER  -