Citazione Stile APA (7a Edizione)

Cantone, D., Nicolosi-Asmundo, M., & Santamaria, D. F. (2018). An optimized KE-tableau-based system for reasoning in the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version).

Citazione stile Chigago Style (17a edizione)

Cantone, Domenico, Marianna Nicolosi-Asmundo, e Daniele Francesco Santamaria. An Optimized KE-tableau-based System for Reasoning in the Description Logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version). 2018.

Citatione MLA (9a ed.)

Cantone, Domenico, et al. An Optimized KE-tableau-based System for Reasoning in the Description Logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version). 2018.