@misc{indiciaef57f57f60219,
  title = {Hilbert's Tenth problem and NP-completeness of Boolean Syllogistic with unordered cartesian product},
  author = {Domenico Cantone and Pietro Ursino},
  year = {2021},
  url = {https://arxiv.org/abs/2101.00198},
  note = {Source identifier: 2101.00198}
}