Halava, V. and Harju, T. 2020. On the Steps of Emil Post: from Normal Systems to the Correspondence Decision Problem. Acta Cybernetica. 24, 4 (Jul. 2020), 613-623. DOI:https://doi.org/10.14232/actacyb.284625.