@inproceedings{BosMarkert2005EMNLP,
   title     = {Recognising Textual Entailment with Logical Inference},
   author    = {Bos, Johan and Markert, Katja},
   booktitle = {Proceedings of the 2005 Conference on Empirical Methods in Natural Language Processing (EMNLP 2005)},
   pages     = {628--635},
   year      = {2005}
}