APA (7th ed.) Citation

Grégoire, B., & Mahboubi, A. (2005, January). Proving Equalities in a Commutative Ring Done Right in Coq. Lecture notes in computer science, 98-113. https://doi.org/10.1007/11541868_7

Chicago Style (17th ed.) Citation

Grégoire, Benjamin, and Assia Mahboubi. "Proving Equalities in a Commutative Ring Done Right in Coq." Lecture Notes in Computer Science Jan. 2005: 98-113. https://doi.org/10.1007/11541868_7.

MLA (9th ed.) Citation

Grégoire, Benjamin, and Assia Mahboubi. "Proving Equalities in a Commutative Ring Done Right in Coq." Lecture Notes in Computer Science, Jan. 2005, pp. 98-113, https://doi.org/10.1007/11541868_7.