On-line Bibtex bibliographies
Nachum Dershowitz

Compressed versions

• Research Group's Papers (14MB zipped)
• Papers in Rewriting (99MB zipped)
• Rewriting Papers (Unfinished) (152MB zipped)
• Other Papers (123MB zipped)
• RTA '89 Papers (3MB zipped)
• (Abbreviations used in above)