@inproceedings{roth-sammons-2007-semantic,
    title = "Semantic and Logical Inference Model for Textual Entailment",
    author = "Roth, Dan  and
      Sammons, Mark",
    editor = "Sekine, Satoshi  and
      Inui, Kentaro  and
      Dagan, Ido  and
      Dolan, Bill  and
      Giampiccolo, Danilo  and
      Magnini, Bernardo",
    booktitle = "Proceedings of the {ACL}-{PASCAL} Workshop on Textual Entailment and Paraphrasing",
    month = jun,
    year = "2007",
    address = "Prague",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/ingest-emnlp/W07-1418/",
    pages = "107--112"
}Markdown (Informal)
[Semantic and Logical Inference Model for Textual Entailment](https://preview.aclanthology.org/ingest-emnlp/W07-1418/) (Roth & Sammons, 2007)
ACL