Bin Fu Angsheng Li Liyu Zhang Separating NE from Some Nonuniform Nondeterministic Complexity Classes. 486-495 2009 COCOON http://dx.doi.org/10.1007/978-3-642-02882-3_48 conf/cocoon/2009 db/conf/cocoon/cocoon2009.html#FuLZ09