John Whaley Dzintars Avots Michael Carbin Monica S. Lam Using Datalog with Binary Decision Diagrams for Program Analysis. 97-118 2005 conf/aplas/2005 APLAS http://dx.doi.org/10.1007/11575467_8 db/conf/aplas/aplas2005.html#WhaleyACL05