@InProceedings{bos-markert:2005:HLTEMNLP,
  author    = {Bos, Johan  and  Markert, Katja},
  title     = {Recognising Textual Entailment with Logical Inference},
  booktitle = {Proceedings of Human Language Technology Conference and Conference on Empirical Methods in Natural Language Processing},
  month     = {October},
  year      = {2005},
  address   = {Vancouver, British Columbia, Canada},
  publisher = {Association for Computational Linguistics},
  pages     = {628--635},
  url       = {http://www.aclweb.org/anthology/H/H05/H05-1079}
}