Ondrej Lhoták Stephen Curial José Nelson Amaral Using XBDDs and ZBDDs in points-to analysis. 163-188 2009 39 Softw., Pract. Exper. 2 http://dx.doi.org/10.1002/spe.895 db/journals/spe/spe39.html#LhotakCA09