Citação norma APA

Hidalgo Doblado, M. J., Alonso Jiménez, J. A., Borrego Díaz, J., Martín Mateos, F. J., & Ruiz Reina, J. L. (2014). Formally Verified Tableau-Based Reasoners for a Description Logic.

Citação norma Chicago

Hidalgo Doblado, María José, José Antonio Alonso Jiménez, Joaquín Borrego Díaz, Francisco Jesús Martín Mateos, y José Luis Ruiz Reina. Formally Verified Tableau-Based Reasoners for a Description Logic. 2014.

Citação norma MLA

Hidalgo Doblado, María José, et al. Formally Verified Tableau-Based Reasoners for a Description Logic. 2014.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.