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