Miklós Ajtai. Determinism versus nondeterminism with arithmetic tests and computation: extended abstract. In Howard J. Karloff, Toniann Pitassi, editors, Proceedings of the 44th Symposium on Theory of Computing Conference, STOC 2012, New York, NY, USA, May 19 - 22, 2012. pages 249-268, ACM, 2012. [doi]
Abstract is missing.