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