@inproceedings{toledo-etal-2014-annotating, title = "Annotating by Proving using {S}em{A}n{TE}", author = "Toledo, Assaf and Alexandropoulou, Stavroula and Chesney, Sophie and Grimm, Robert and Kokke, Pepijn and Kruit, Benno and Neophytou, Kyriaki and Nguyen, Antony and Winter, Yoad", editor = "Wintner, Shuly and Tadi{\'c}, Marko and Babych, Bogdan", booktitle = "Proceedings of the Demonstrations at the 14th Conference of the {E}uropean Chapter of the Association for Computational Linguistics", month = apr, year = "2014", address = "Gothenburg, Sweden", publisher = "Association for Computational Linguistics", url = "https://preview.aclanthology.org/fix-sig-urls/E14-2020/", doi = "10.3115/v1/E14-2020", pages = "77--80" }