D. Schlegel and S. Shapiro, “Inference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner”, AAAI, vol. 29, no. 1, Feb. 2015.