@inproceedings{tatu-moldovan-2006-logic,
    title = "A Logic-Based Semantic Approach to Recognizing Textual Entailment",
    author = "Tatu, Marta  and
      Moldovan, Dan",
    booktitle = "Proceedings of the {COLING}/{ACL} 2006 Main Conference Poster Sessions",
    month = jul,
    year = "2006",
    address = "Sydney, Australia",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/ingest_wac_2008/P06-2105/",
    pages = "819--826"
}