Using First-Order Logic to Compress Sentences

Open in new window