Wilson E. Singletary

Dennis F. Cudia and Wilson E. Singletary. Degrees of unsolvability in formal grammars. Journal of the ACM, 15(4):680-692, October 1968. References and Citations.