On abstraction refinement for program analyses in Datalog (Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014)

(untitled) - Zhang, X; Mangal, R; Grigore, R; Naik, M; Yang, H