Add BibTeX entries and abstracts on incremental computations

These are mostly from Acar et al. (or al. et Acar).

* Moreover, add abstracts to all papers on the topic, since we'll need
summaries of them anyway.
Bibs: more papers on ILC

These papers mostly focus on saving intermediate results.