Yoshikawa, M., K. Mineshima, H. Noji, and D. Bekki. “Combining Axiom Injection and Knowledge Base Completion for Efficient Natural Language Inference”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 33, no. 01, July 2019, pp. 7410-7, doi:10.1609/aaai.v33i01.33017410.