@misc{indiciae5c338d4a556b,
  title = {Reasoning about Regular Properties: A Comparative Study},
  author = {Tomáš Fiedor and Lukáš Holík and Martin Hruška and Adam Rogalewicz and Juraj Síč and Pavol Vargovčík},
  year = {2023},
  url = {https://arxiv.org/abs/2304.05064},
  note = {Source identifier: 2304.05064}
}