@Inproceedings{EPTCS128.16, author = {Herrmann, Christian and Sokoli, Johanna and Ziegler, Martin}, year = {2013}, title = {Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines}, editor = {Neary, Turlough and Cook, Matthew}, booktitle = {{\rm Proceedings} Machines, Computations and Universality 2013, {\rm Z\"urich, Switzerland, 9/09/2013 - 11/09/2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {128}, publisher = {Open Publishing Association}, pages = {85-92}, doi = {10.4204/EPTCS.128.16}, }