APA (7th ed.) Citation

Caminati, M. B. (2024). $O_2$ is a multiple context-free grammar: An implementation-, formalisation-friendly proof.

Chicago Style (17th ed.) Citation

Caminati, Marco B. $O_2$ Is a Multiple Context-free Grammar: An Implementation-, Formalisation-friendly Proof. 2024.

MLA (9th ed.) Citation

Caminati, Marco B. $O_2$ Is a Multiple Context-free Grammar: An Implementation-, Formalisation-friendly Proof. 2024.

Warning: These citations may not always be 100% accurate.