@misc{indiciaedafe39ab52d3,
  title = {Fast Matching of Regular Patterns with Synchronizing Counting (Technical Report)},
  author = {Lukáš Holík and Juraj Síč and Lenka Turoňová and Tomáš Vojnar},
  year = {2023},
  url = {https://arxiv.org/abs/2301.12851},
  note = {Source identifier: 2301.12851}
}