@article{Gurevich23b,
  title = {Obituary: Gregory Tseytin},
  author = {Yuri Gurevich},
  year = {2023},
  url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/787},
  researchr = {https://researchr.org/publication/Gurevich23b},
  cites = {0},
  citedby = {0},
  journal = {Bulletin of the EATCS},
  volume = {141},
}