Gams, M. ACM Turing Award for 2020 Honors Alfred Vaino Aho and Jeffrey David Ullman. IJCAI 2021, 45.