Pamela Fleischmann, Jonas Höfer, Annika Huch, Dirk Nowotka. α-β-Factorization and the Binary Case of Simon's Congruence. In Henning Fernau, Klaus Jansen, editors, Fundamentals of Computation Theory - 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings. Volume 14292 of Lecture Notes in Computer Science, pages 190-204, Springer, 2023. [doi]
Abstract is missing.