APA-Zitierstil (7. Ausg.)

Kaneiwa, K., & Takahashi, D. (2024). The completeness of reasoning algorithms for clause sets in description logic <mml: Math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si4.svg" display="inline" id="d1e76"><mml:mi mathvariant="script">ALC</mml:mi></mml:math>. Knowledge-Based Systems, 286, 111405. https://doi.org/10.1016/j.knosys.2024.111405

Chicago-Zitierstil (17. Ausg.)

Kaneiwa, Ken, und Daiki Takahashi. "The Completeness of Reasoning Algorithms for Clause Sets in Description Logic ALC." Knowledge-Based Systems 286 (2024): 111405. https://doi.org/10.1016/j.knosys.2024.111405.

MLA-Zitierstil (9. Ausg.)

Kaneiwa, Ken, und Daiki Takahashi. "The Completeness of Reasoning Algorithms for Clause Sets in Description Logic ALC." Knowledge-Based Systems, vol. 286, 2024, p. 111405, https://doi.org/10.1016/j.knosys.2024.111405.