1. A document processing method comprising: storing a document in memory of a computer system; for each sentence of an abstract of the document, comparing the sentence with sentences of a main body of the document using textual entailment techniques to identify whether the sentence of the abstract entails a sentence in the main body of the document; generating links between the entailing sentences of the abstract and the corresponding entailed sentences of the document; and outputting the generated links.