\input zb-basic
\input zb-ioport
\iteman{io-port 00022779}
\itemau{Verbitskij, O.V.}
\itemti{Optimal algorithms for co${\cal NP}$-sets and the ${\cal EXP}\overset\text{!} \to{}= {\cal NEXP}$ problem.}
\itemso{Math. Notes 50, No.2, 796-801 (1991); translation from Mat. Zametki 50, No.2, 37-46 (1991).}
\itemcc{}
\itemut{Turing machine}
\itemli{doi:10.1007/BF01157564}
\end