Sharma A, Forbus K. Automatic Extraction of Efficient Axiom Sets from Large Knowledge Bases. AAAI [Internet]. 2013Jun.29 [cited 2026May2];27(1):1248-54. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/8472