Andreev, A. E. Complexity of Nondeterministic Functions. BRICS 1994, 1.