Feliu, M., Joubert, C. and Tarin, F. (2011) “Evaluation Strategies for Datalog-based Points-To Analysis”, Electronic Communications of the EASST, 35. doi: 10.14279/tuj.eceasst.35.545.