Citations refer to the original publication, not to a Scieee localized version.
Martín Mateos, F. J., Alonso Jiménez, J. A., Hidalgo Doblado, M. J., & Ruiz Reina, J. L. (2003). A Formal Proof of Dickson’s Lemma in ACL2. Springer. https://doi.org/10.1007/978-3-540-39813-4_3
Martín Mateos, Francisco Jesús, et al. A Formal Proof of Dickson’s Lemma in ACL2. Springer, 2003. https://doi.org/10.1007/978-3-540-39813-4_3.
Martín Mateos, Francisco Jesús, José Antonio Alonso Jiménez, María José Hidalgo Doblado, and José Luis Ruiz Reina. A Formal Proof of Dickson’s Lemma in ACL2. Springer, 2003. https://doi.org/10.1007/978-3-540-39813-4_3.
Martín Mateos, F. J. et al. (2003) A Formal Proof of Dickson’s Lemma in ACL2. Springer. Available at: https://doi.org/10.1007/978-3-540-39813-4_3.
F. J. Martín Mateos, J. A. Alonso Jiménez, M. J. Hidalgo Doblado, and J. L. Ruiz Reina, “A Formal Proof of Dickson’s Lemma in ACL2,” Springer, 2003, doi: 10.1007/978-3-540-39813-4_3.
@misc{martinmateos2003formal,
author = {Martín Mateos, Francisco Jesús and Alonso Jiménez, José Antonio and Hidalgo Doblado, María José and Ruiz Reina, José Luis},
title = {A Formal Proof of Dickson’s Lemma in ACL2},
year = {2003},
publisher = {Springer},
doi = {10.1007/978-3-540-39813-4_3},
url = {https://doi.org/10.1007/978-3-540-39813-4_3}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.
