Inference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner.

Daniel R. Schlegel, Stuart C. Shapiro

Browse the full AAAI paper archive.