@InProceedings{lierler-lifschitz:2013:IWCS2013,
  author    = {Lierler, Yuliya  and  Lifschitz, Vladimir},
  title     = {Logic Programs vs. First-Order Formulas in Textual Inference},
  booktitle = {Proceedings of the 10th International Conference on Computational Semantics (IWCS 2013) -- Short Papers},
  month     = {March},
  year      = {2013},
  address   = {Potsdam, Germany},
  publisher = {Association for Computational Linguistics},
  pages     = {340--346},
  url       = {http://www.aclweb.org/anthology/W13-0207}
}