Using first-order logic to compress sentences
Sentence Compression Beyond Word Deletion