@inproceedings{huang2012using,
  title={Using First-Order Logic to Compress Sentences.},
  author={Huang, Minlie and Shi, Xing and Jin, Feng and Zhu, Xiaoyan},
  booktitle={AAAI},
  year={2012}
}