Zese, R., Bellodi, E., Riguzzi, F., Cota, G., & Lamma, E. (2018). Tableau reasoning for description logics and its extension to probabilities. Annals of mathematics and artificial intelligence, 82(1-3), 101-130. https://doi.org/10.1007/s10472-016-9529-3
Chicago Style (17th ed.) CitationZese, Riccardo, Elena Bellodi, Fabrizio Riguzzi, Giuseppe Cota, and Evelina Lamma. "Tableau Reasoning for Description Logics and Its Extension to Probabilities." Annals of Mathematics and Artificial Intelligence 82, no. 1-3 (2018): 101-130. https://doi.org/10.1007/s10472-016-9529-3.
MLA (9th ed.) CitationZese, Riccardo, et al. "Tableau Reasoning for Description Logics and Its Extension to Probabilities." Annals of Mathematics and Artificial Intelligence, vol. 82, no. 1-3, 2018, pp. 101-130, https://doi.org/10.1007/s10472-016-9529-3.