Krestel, R., S. Bergler, and R. Witte,  "A Belief Revision Approach to Textual Entailment Recognition",  Proceedings of the First Text Analysis Conference (TAC 2008), Gaithersburg, Maryland, USA : National Institute of Standards and Technology (NIST), November 17--19, 2008.