@misc{indiciaeb4af71495702,
  title = {\$O\_2\$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof},
  author = {Marco B. Caminati},
  year = {2024},
  url = {https://arxiv.org/abs/2405.09396},
  note = {Source identifier: 2405.09396}
}