APA (7th ed.) Citation

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).

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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.