@misc{indiciaecff04e64b4b0,
  title = {Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines},
  author = {Christian Herrmann and Johanna Sokoli and Martin Ziegler},
  year = {2013},
  doi = {10.4204/eptcs.128.16},
  url = {https://arxiv.org/abs/1309.1270},
  note = {Source identifier: 1309.1270}
}