Yuri Gurevich. On the Classical Desicion Problem. Bulletin of the EATCS, 42:140-150, 1990.
@article{Gurevich90, title = {On the Classical Desicion Problem}, author = {Yuri Gurevich}, year = {1990}, researchr = {https://researchr.org/publication/Gurevich90}, cites = {0}, citedby = {0}, journal = {Bulletin of the EATCS}, volume = {42}, pages = {140-150}, }