Yu Li YongSen Xu Gaoyan Xie Zhiyuan Zhan Strategies and Techniques of Freeze/Melt. 98-107 1999 conf/tools/31-1999 TOOLS (31) http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.796472 db/conf/tools/tools31-1999.html#LiXXZ99