Citations refer to the original publication, not to a Scieee localized version.
Martín Mateos, F. J., Rubio, J., & Ruiz Reina, J. L. (2009). ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System. Springer. https://doi.org/10.1007/978-3-642-02614-0_13
Martín Mateos, Francisco Jesús, et al. ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System. Springer, 2009. https://doi.org/10.1007/978-3-642-02614-0_13.
Martín Mateos, Francisco Jesús, Julio Rubio, and José Luis Ruiz Reina. ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System. Springer, 2009. https://doi.org/10.1007/978-3-642-02614-0_13.
Martín Mateos, F. J., Rubio, J. and Ruiz Reina, J. L. (2009) ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System. Springer. Available at: https://doi.org/10.1007/978-3-642-02614-0_13.
F. J. Martín Mateos, J. Rubio, and J. L. Ruiz Reina, “ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System,” Springer, 2009, doi: 10.1007/978-3-642-02614-0_13.
@misc{martinmateos2009acl2,
author = {Martín Mateos, Francisco Jesús and Rubio, Julio and Ruiz Reina, José Luis},
title = {ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System},
year = {2009},
publisher = {Springer},
doi = {10.1007/978-3-642-02614-0_13},
url = {https://doi.org/10.1007/978-3-642-02614-0_13}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.
