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

Open in new window