J. Bos, “Is there a place for logic in recognizing textual entailment?”, LiLT, vol. 9, pp. 27–44, Jan. 2014.