Zhentao Li Bruce A. Reed Heap Building Bounds. 14-23 2005 conf/wads/2005 WADS http://dx.doi.org/10.1007/11534273_3 db/conf/wads/wads2005.html#LiR05