@inproceedings{bos-markert-2005-recognising,
    title = "Recognising Textual Entailment with Logical Inference",
    author = "Bos, Johan  and
      Markert, Katja",
    editor = "Mooney, Raymond  and
      Brew, Chris  and
      Chien, Lee-Feng  and
      Kirchhoff, Katrin",
    booktitle = "Proceedings of Human Language Technology Conference and Conference on Empirical Methods in Natural Language Processing",
    month = oct,
    year = "2005",
    address = "Vancouver, British Columbia, Canada",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/fix-sig-urls/H05-1079/",
    pages = "628--635"
}