Citations refer to the original publication, not to a Scieee localized version.
Heras, J., Martín Mateos, F. J., & Pascual, V. (2015). Modelling algebraic structures and morphisms in ACL2. Springer. https://doi.org/10.1007/s00200-015-0252-9
Heras, Jónathan, et al. Modelling algebraic structures and morphisms in ACL2. Springer, 2015. https://doi.org/10.1007/s00200-015-0252-9.
Heras, Jónathan, Francisco Jesús Martín Mateos, and Vico Pascual. Modelling algebraic structures and morphisms in ACL2. Springer, 2015. https://doi.org/10.1007/s00200-015-0252-9.
Heras, J., Martín Mateos, F. J. and Pascual, V. (2015) Modelling algebraic structures and morphisms in ACL2. Springer. Available at: https://doi.org/10.1007/s00200-015-0252-9.
J. Heras, F. J. Martín Mateos, and V. Pascual, “Modelling algebraic structures and morphisms in ACL2,” Springer, 2015, doi: 10.1007/s00200-015-0252-9.
@misc{heras2015modelling,
author = {Heras, Jónathan and Martín Mateos, Francisco Jesús and Pascual, Vico},
title = {Modelling algebraic structures and morphisms in ACL2},
year = {2015},
publisher = {Springer},
doi = {10.1007/s00200-015-0252-9},
url = {https://doi.org/10.1007/s00200-015-0252-9}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.
