Halava, Vesa, and Tero Harju. 2020. “On the Steps of Emil Post: From Normal Systems to the Correspondence Decision Problem”. Acta Cybernetica 24 (4), 613-23. https://doi.org/10.14232/actacyb.284625.