pdf bibLogic Programs vs. First-Order Formulas in Textual InferenceYuliya Lierler | Vladimir LifschitzProceedings of the 10th International Conference on Computational Semantics (IWCS 2013) – Short Papers