Evaluation Strategies for Datalog-based Points-To Analysis. - Marco A. Feliú; Christophe Joubert; Fernando Tarin (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)