M. Feliu, C. Joubert, and F. Tarin, “Evaluation Strategies for Datalog-based Points-To Analysis”, ECEASST, vol. 35, Apr. 2011.