@misc{indiciae409fd1eb7be9,
  title = {Detecting and Explaining (In-)equivalence of Context-Free Grammars},
  author = {Marko Schmellenkamp and Thomas Zeume and Sven Argo and Sandra Kiefer and Cedric Siems and Fynn Stebel},
  year = {2026},
  doi = {10.1145/3763156},
  url = {https://arxiv.org/abs/2407.18220},
  note = {Source identifier: 2407.18220}
}