Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference
Recognising Textual Entailment With Logical Inference