Moni Naor Sitvanit Ruah On the Decisional Complexity of Problems Over the Reals. 27-45 2001 167 Inf. Comput. 1 db/journals/iandc/iandc167.html#NaorR01