Feliu, M.; Joubert, C.; Tarin, F. Evaluation Strategies for Datalog-Based Points-To Analysis. eceasst 2011, 35.