@article{Dershowitz16,
  title = {Boris (Boaz) Trakhtenbrot, 1921-2016},
  author = {Nachum Dershowitz},
  year = {2016},
  url = {http://bulletin.eatcs.org/index.php/beatcs/article/view/448/427},
  researchr = {https://researchr.org/publication/Dershowitz16},
  cites = {0},
  citedby = {0},
  journal = {Bulletin of the EATCS},
  volume = {120},
}