@inproceedings{themeaningfactoryformalsemanticsfor,
  title = {The Meaning Factory: Formal Semantics for Recognizing Textual Entailment and Determining Semantic Similarity},
  author = {Johannes Bjerva and Johan Bos and Rob van der Goot and Malvina Nissim},
  year = {2014},
  booktitle = {SEMEVAL 2014 8},
  url = {https://aclanthology.org/S14-2114},
}