TY  - RPRT
TI  - Formalization of the class of problems solvable by a nondeterministic Turing machine
AU  - Anatoly D. Plotnikov
PY  - 1999
UR  - https://arxiv.org/abs/cs/9903012
ID  - cs/9903012
ER  -