@InProceedings{toledo-EtAl:2014:Demos,
  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},
  title     = {Annotating by Proving using SemAnTE},
  booktitle = {Proceedings of the Demonstrations at the 14th Conference of the European Chapter of the Association for Computational Linguistics},
  month     = {April},
  year      = {2014},
  address   = {Gothenburg, Sweden},
  publisher = {Association for Computational Linguistics},
  pages     = {77--80},
  url       = {http://www.aclweb.org/anthology/E14-2020}
}