Victor Vianu Invited Article Foreword. 15:1 2012 59 J. ACM 3 https://doi.org/10.1145/2220357.2220362 db/journals/jacm/jacm59.html#Vianu12b