Sungmin Kim, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa. On Simon's Congruence Closure of a String. In Yo-Sub Han, György Vaszil, editors, Descriptional Complexity of Formal Systems - 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022, Proceedings. Volume 13439 of Lecture Notes in Computer Science, pages 127-141, Springer, 2022. [doi]
Abstract is missing.