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