Sergei Ivanov Michel de Rougemont Interactive protocols over the reals. 330-345 1999 8 Computational Complexity 4 http://link.springer.de/link/service/journals/00037/bibs/9008004/90080330.htm db/journals/cc/cc8.html#IvanovR99