On-line Bibtex bibliographies
Nachum Dershowitz

Compressed versions