Citations refer to the original publication, not to a Scieee localized version.
Ruiz Reina, J. L., Martín Mateos, F. J., Alonso Jiménez, J. A., & Hidalgo Doblado, M. J. (2006). Formal Correctness of a Quadratic Unification Algorithm. Springer. https://doi.org/10.1007/s10817-006-9030-5
Ruiz Reina, José Luis, et al. Formal Correctness of a Quadratic Unification Algorithm. Springer, 2006. https://doi.org/10.1007/s10817-006-9030-5.
Ruiz Reina, José Luis, Francisco Jesús Martín Mateos, José Antonio Alonso Jiménez, and María José Hidalgo Doblado. Formal Correctness of a Quadratic Unification Algorithm. Springer, 2006. https://doi.org/10.1007/s10817-006-9030-5.
Ruiz Reina, J. L. et al. (2006) Formal Correctness of a Quadratic Unification Algorithm. Springer. Available at: https://doi.org/10.1007/s10817-006-9030-5.
J. L. Ruiz Reina, F. J. Martín Mateos, J. A. Alonso Jiménez, and M. J. Hidalgo Doblado, “Formal Correctness of a Quadratic Unification Algorithm,” Springer, 2006, doi: 10.1007/s10817-006-9030-5.
@misc{ruizreina2006formal,
author = {Ruiz Reina, José Luis and Martín Mateos, Francisco Jesús and Alonso Jiménez, José Antonio and Hidalgo Doblado, María José},
title = {Formal Correctness of a Quadratic Unification Algorithm},
year = {2006},
publisher = {Springer},
doi = {10.1007/s10817-006-9030-5},
url = {https://doi.org/10.1007/s10817-006-9030-5}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.
