Publications of
Tel-Aviv University's Logic Group
Arnon Avron
Nachum Dershowitz
Yoram Hirshfeld
Alexander Rabinovich
Mooly Sagiv
Boaz Trakhtenbrot
Amiram Yehudai