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. (2002). Verification in ACL2 of a Generic Framework to Synthesize SAT–Provers. Springer. https://doi.org/10.1007/3-540-45013-0_15
Martín Mateos, Francisco Jesús, et al. Verification in ACL2 of a Generic Framework to Synthesize SAT–Provers. Springer, 2002. https://doi.org/10.1007/3-540-45013-0_15.
Martín Mateos, Francisco Jesús, José Antonio Alonso Jiménez, María José Hidalgo Doblado, and José Luis Ruiz Reina. Verification in ACL2 of a Generic Framework to Synthesize SAT–Provers. Springer, 2002. https://doi.org/10.1007/3-540-45013-0_15.
Martín Mateos, F. J. et al. (2002) Verification in ACL2 of a Generic Framework to Synthesize SAT–Provers. Springer. Available at: https://doi.org/10.1007/3-540-45013-0_15.
F. J. Martín Mateos, J. A. Alonso Jiménez, M. J. Hidalgo Doblado, and J. L. Ruiz Reina, “Verification in ACL2 of a Generic Framework to Synthesize SAT–Provers,” Springer, 2002, doi: 10.1007/3-540-45013-0_15.
@misc{martinmateos2002verification,
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 = {Verification in ACL2 of a Generic Framework to Synthesize SAT–Provers},
year = {2002},
publisher = {Springer},
doi = {10.1007/3-540-45013-0_15},
url = {https://doi.org/10.1007/3-540-45013-0_15}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.
