APA (7th ed.) Citation

Sozeau, M., Anand, A., Boulier, S., Cohen, C., Forster, Y., Kunze, F., . . . Winterhalter, T. (2020). The MetaCoq Project. Journal of automated reasoning, 64(5), 947-999. https://doi.org/10.1007/s10817-019-09540-0

Chicago Style (17th ed.) Citation

Sozeau, Matthieu, Abhishek Anand, Simon Boulier, Cyril Cohen, Yannick Forster, Fabian Kunze, Gregory Malecha, Nicolas Tabareau, and Théo Winterhalter. "The MetaCoq Project." Journal of Automated Reasoning 64, no. 5 (2020): 947-999. https://doi.org/10.1007/s10817-019-09540-0.

MLA (9th ed.) Citation

Sozeau, Matthieu, et al. "The MetaCoq Project." Journal of Automated Reasoning, vol. 64, no. 5, 2020, pp. 947-999, https://doi.org/10.1007/s10817-019-09540-0.