Mikhail N. Vyalyi On models of a nondeterministic computation http://arxiv.org/abs/0811.2586 2008 CoRR abs/0811.2586 db/journals/corr/corr0811.html#abs-0811-2586