Furthering Datalog in the pursuit of program analysis. - Joseph Isaacs (2022)