Ζήσης Χρήστος, Performance optimization on Declarative Points-to Analysis using the Souffle Datalog Engine, 2019,