Shorter arithmetization of nondeterministic computations. - Chiesa, Alessandro; Zhu, Zeyuan Allen (Theoretical Computer Science, 2015)