Citations refer to the original publication, not to a Scieee localized version.
Ruiz Reina, J. L., Alonso Jiménez, J. A., Hidalgo Doblado, M. J., & Martín Mateos, F. J. (2002). A Theory About First-Order Terms in ACL2. University of Texas. https://idus.us.es/items/2210965e-b909-4cdd-bf7c-b206f3e4bb22
Ruiz Reina, José Luis, et al. A Theory About First-Order Terms in ACL2. University of Texas, 2002. https://idus.us.es/items/2210965e-b909-4cdd-bf7c-b206f3e4bb22.
Ruiz Reina, José Luis, José Antonio Alonso Jiménez, María José Hidalgo Doblado, and Francisco Jesús Martín Mateos. A Theory About First-Order Terms in ACL2. University of Texas, 2002. https://idus.us.es/items/2210965e-b909-4cdd-bf7c-b206f3e4bb22.
Ruiz Reina, J. L. et al. (2002) A Theory About First-Order Terms in ACL2. University of Texas. Available at: https://idus.us.es/items/2210965e-b909-4cdd-bf7c-b206f3e4bb22.
J. L. Ruiz Reina, J. A. Alonso Jiménez, M. J. Hidalgo Doblado, and F. J. Martín Mateos, “A Theory About First-Order Terms in ACL2,” University of Texas, 2002. [Online]. Available: https://idus.us.es/items/2210965e-b909-4cdd-bf7c-b206f3e4bb22
@misc{ruizreina2002theory,
author = {Ruiz Reina, José Luis and Alonso Jiménez, José Antonio and Hidalgo Doblado, María José and Martín Mateos, Francisco Jesús},
title = {A Theory About First-Order Terms in ACL2},
year = {2002},
publisher = {University of Texas},
url = {https://idus.us.es/items/2210965e-b909-4cdd-bf7c-b206f3e4bb22}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.
