Halava, Vesa, and Tero Harju. “On the Steps of Emil Post: From Normal Systems to the Correspondence Decision Problem”. Acta Cybernetica 24, no. 4 (July 25, 2020): 613-623. Accessed April 20, 2024. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4125.