@inproceedings{lierler-lifschitz-2013-logic,
    title = "Logic Programs vs. First-Order Formulas in Textual Inference",
    author = "Lierler, Yuliya  and
      Lifschitz, Vladimir",
    editor = "Koller, Alexander  and
      Erk, Katrin",
    booktitle = "Proceedings of the 10th International Conference on Computational Semantics ({IWCS} 2013) {--} Short Papers",
    month = mar,
    year = "2013",
    address = "Potsdam, Germany",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/fix-sig-urls/W13-0207/",
    pages = "340--346"
}