Selected papers that cite this one Stål Aanderaa and Patrick C. Fischer. The solvability of the halting problem for 2-state Post machines. Journal of the ACM, 14(4):677-682, October 1967.