APA (7th ed.) Citation

Dou, G., & Yu, W. (2024). Formalization of the Filter Extension Principle (FEP) in Coq.

Chicago Style (17th ed.) Citation

Dou, Guowei, and Wensheng Yu. Formalization of the Filter Extension Principle (FEP) in Coq. 2024.

MLA (9th ed.) Citation

Dou, Guowei, and Wensheng Yu. Formalization of the Filter Extension Principle (FEP) in Coq. 2024.

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