Evaluation Strategies for Datalog-based Points-To Analysis | Publicación