Citação norma APA

Martín Mateos, F. J., Ruiz Reina, J. L., Alonso Jiménez, J. A., & Hidalgo Doblado, M. J. (2011). Proof Pearl: A Formal Proof of Higman’s Lemma in ACL2.

Citação norma Chicago

Martín Mateos, Francisco Jesús, José Luis Ruiz Reina, José Antonio Alonso Jiménez, e María José Hidalgo Doblado. Proof Pearl: A Formal Proof of Higman’s Lemma in ACL2. 2011.

Citação norma MLA

Martín Mateos, Francisco Jesús, José Luis Ruiz Reina, José Antonio Alonso Jiménez, e María José Hidalgo Doblado. Proof Pearl: A Formal Proof of Higman’s Lemma in ACL2. 2011.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.