Points-to analysis using BDDs. - Marc Berndl; Ondrej Lhoták; Feng Qian; Laurie J. Hendren; Navindra Umanee (PLDI, 2003)