See https://eatcs.org/index.php/component/content/article/1-news/2914-presburger-award-2022-laudatio-for-dor-minzer
