Schlegel, D.; Shapiro, S. Inference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner. AAAI 2015, 29.