1. E. Post, Bull. Am. Math. Soc. 26, 427 (1920).
2. E. Post, Two-Valued Iterative Systems of Mathematical Logic (Princeton Univ. Press, Princeton, 1941).
3. Yu. I. Yanov and A. A. Muchnik, Dokl. Akad. Nauk SSSR 127, 44–46 (1959).
4. S. V. Yablonskii, Dokl. Akad. Nauk SSSR 95, 1153–1155 (1954).
5. J. Demetrovics and L. Hannak, Algebra Universalis 1(1), 178–185 (1983).