TY  - RPRT
TI  - Detecting and Explaining (In-)equivalence of Context-Free Grammars
AU  - Marko Schmellenkamp
AU  - Thomas Zeume
AU  - Sven Argo
AU  - Sandra Kiefer
AU  - Cedric Siems
AU  - Fynn Stebel
PY  - 2026
DO  - 10.1145/3763156
UR  - https://arxiv.org/abs/2407.18220
ID  - 2407.18220
ER  -