Pamela Fleischmann, Sungmin Kim, Tore Koß, Florin Manea, Dirk Nowotka, Stefan Siemer, Max Wiedenhöft. Matching Patterns with Variables Under Simon's Congruence. In Olivier Bournez, Enrico Formenti, Igor Potapov, editors, Reachability Problems - 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings. Volume 14235 of Lecture Notes in Computer Science, pages 155-170, Springer, 2023. [doi]
Abstract is missing.