Nachum Dershowitz
Publications
On Rewriting
On Termination
On Foundations
On Computational Humanities
On Genizah Research
On Humanities
On Calendars
On Canonical Inference
On Combinatorics