@misc{indiciaec957d70d8d0d,
  title = {Matching Patterns with Variables Under Simon's Congruence},
  author = {Pamela Fleischmann and Sungmin Kim and Tore Koß and Florin Manea and Dirk Nowotka and Stefan Siemer and Max Wiedenhöft},
  year = {2023},
  url = {https://arxiv.org/abs/2308.08374},
  note = {Source identifier: 2308.08374}
}