Yoshikawa, M.; Mineshima, K.; Noji, H.; Bekki, D. Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference. AAAI 2019, 33, 7410-7417.