M. Yoshikawa, K. Mineshima, H. Noji, and D. Bekki, “Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference”, AAAI, vol. 33, no. 01, pp. 7410-7417, Jul. 2019.