\Bibitem{Tse56} \by G.~S.~Tseitin \paper Correction \jour Russian Math. Surveys \yr 1956 \vol 11 \issue 2 \mathnet{http://mi.mathnet.ru//eng/rm7790}