A. E. Andreev, “Complexity of Nondeterministic Functions”, BRICS, vol. 1, no. 2, Feb. 1994.