Citations refer to the original publication, not to a Scieee localized version.
Medina Bulo, I., Palomo Lozano, F., Alonso Jiménez, J. A., & Ruiz Reina, J. L. (2004). Verified Computer Algebra in ACL2 (Gröbner Bases Computation). Springer. https://doi.org/10.1007/978-3-540-30210-0_15
Medina Bulo, Inmaculada, et al. Verified Computer Algebra in ACL2 (Gröbner Bases Computation). Springer, 2004. https://doi.org/10.1007/978-3-540-30210-0_15.
Medina Bulo, Inmaculada, Francisco Palomo Lozano, José Antonio Alonso Jiménez, and José Luis Ruiz Reina. Verified Computer Algebra in ACL2 (Gröbner Bases Computation). Springer, 2004. https://doi.org/10.1007/978-3-540-30210-0_15.
Medina Bulo, I. et al. (2004) Verified Computer Algebra in ACL2 (Gröbner Bases Computation). Springer. Available at: https://doi.org/10.1007/978-3-540-30210-0_15.
I. Medina Bulo, F. Palomo Lozano, J. A. Alonso Jiménez, and J. L. Ruiz Reina, “Verified Computer Algebra in ACL2 (Gröbner Bases Computation),” Springer, 2004, doi: 10.1007/978-3-540-30210-0_15.
@misc{medinabulo2004verified,
author = {Medina Bulo, Inmaculada and Palomo Lozano, Francisco and Alonso Jiménez, José Antonio and Ruiz Reina, José Luis},
title = {Verified Computer Algebra in ACL2 (Gröbner Bases Computation)},
year = {2004},
publisher = {Springer},
doi = {10.1007/978-3-540-30210-0_15},
url = {https://doi.org/10.1007/978-3-540-30210-0_15}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.
