| 2011-01-04 | Christian Urban | final version of the ESOP paper; used set+ instead of res as requested by one reviewer | file | diff | annotate |
| 2010-12-09 | Christian Urban | brought the paper to 20 pages plus one page appendix | file | diff | annotate |
| 2010-10-08 | Christian Urban | added apendix to paper detailing one proof | file | diff | annotate |
| 2010-10-08 | Christian Urban | down to 20 pages | file | diff | annotate |
| 2010-10-06 | Christian Urban | down to 21 pages and changed strong induction section | file | diff | annotate |
| 2010-10-05 | Christian Urban | down to 23 pages | file | diff | annotate |
| 2010-10-05 | Christian Urban | llncs and more sqeezing | file | diff | annotate |