A MT-Oriented Approach to Entailment Recognition | IEEE Conference Publication | IEEE Xplore