Citations refer to the original publication, not to a Scieee localized version.
Hidalgo Doblado, M. J., Alonso Jiménez, J. A., Martín Mateos, F. J., & Ruiz Reina, J. L. (2008). Constructing Formally Verified Reasoners for the ALC Description Logic. Elsevier. https://doi.org/10.1016/j.entcs.2008.04.094
Hidalgo Doblado, María José, et al. Constructing Formally Verified Reasoners for the ALC Description Logic. Elsevier, 2008. https://doi.org/10.1016/j.entcs.2008.04.094.
Hidalgo Doblado, María José, José Antonio Alonso Jiménez, Francisco Jesús Martín Mateos, and José Luis Ruiz Reina. Constructing Formally Verified Reasoners for the ALC Description Logic. Elsevier, 2008. https://doi.org/10.1016/j.entcs.2008.04.094.
Hidalgo Doblado, M. J. et al. (2008) Constructing Formally Verified Reasoners for the ALC Description Logic. Elsevier. Available at: https://doi.org/10.1016/j.entcs.2008.04.094.
M. J. Hidalgo Doblado, J. A. Alonso Jiménez, F. J. Martín Mateos, and J. L. Ruiz Reina, “Constructing Formally Verified Reasoners for the ALC Description Logic,” Elsevier, 2008, doi: 10.1016/j.entcs.2008.04.094.
@misc{hidalgodoblado2008constructing,
author = {Hidalgo Doblado, María José and Alonso Jiménez, José Antonio and Martín Mateos, Francisco Jesús and Ruiz Reina, José Luis},
title = {Constructing Formally Verified Reasoners for the ALC Description Logic},
year = {2008},
publisher = {Elsevier},
doi = {10.1016/j.entcs.2008.04.094},
url = {https://doi.org/10.1016/j.entcs.2008.04.094}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.
