@misc{indiciaeb1252821ced4,
  title = {Complexity assessments for decidable fragments of Set Theory. IV: A quadratic reduction of constraints over nested sets to Boolean formulae},
  author = {Domenico Cantone and Andrea De Domenico and Pietro Maugeri and Eugenio G. Omodeo},
  year = {2022},
  url = {https://arxiv.org/abs/2112.04797},
  note = {Source identifier: 2112.04797}
}