Bos, J. “Is There a Place for Logic in Recognizing Textual Entailment?”. Linguistic Issues in Language Technology, vol. 9, Jan. 2014, pp. 27–44, doi:10.33011/lilt.v9i.1315.