TY  - RPRT
TI  - Matching Patterns with Variables Under Simon's Congruence
AU  - Pamela Fleischmann
AU  - Sungmin Kim
AU  - Tore Koß
AU  - Florin Manea
AU  - Dirk Nowotka
AU  - Stefan Siemer
AU  - Max Wiedenhöft
PY  - 2023
UR  - https://arxiv.org/abs/2308.08374
ID  - 2308.08374
ER  -