APA (7th ed.) Citation

Ferreira, F., & Ferreira, G. (2021). Elementary proof of strong normalization for Atomic F.

Chicago Style (17th ed.) Citation

Ferreira, Fernando, and Gilda Ferreira. Elementary Proof of Strong Normalization for Atomic F. 2021.

MLA (8th ed.) Citation

Ferreira, Fernando, and Gilda Ferreira. Elementary Proof of Strong Normalization for Atomic F. 2021.

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