Schlegel D, Shapiro S. Inference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner. AAAI [Internet]. 2015 Feb. 10 [cited 2026 May 30];29(1). Available from: https://ojs.aaai.org/index.php/AAAI/article/view/9229