@misc{indiciae9546ca0c6f6d,
  title = {On the Convexity of a Fragment of Pure Set Theory with Applications within a Nelson-Oppen Framework},
  author = {Domenico Cantone and Andrea De Domenico and Pietro Maugeri},
  year = {2021},
  doi = {10.4204/eptcs.346.13},
  url = {https://arxiv.org/abs/2109.08309},
  note = {Source identifier: 2109.08309}
}