Wang, Zhao, Lu, 2013. BCMI-NLP Labeled-Alignment-Based Entailment System for NTCIR-10 RITE-2 Task, in: .