Detecting and explaining (in)equivalence of context-free grammars. - Marko Schmellenkamp; Thomas Zeume; Sven Argo; Sandra Kiefer; Cedric Siems; Fynn Stebel (CoRR, 2024)