Zijiang Yang Chao Wang Aarti Gupta Franjo Ivancic Mixed symbolic representations for model checking software programs. 17-26 2006 conf/memocode/2006 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2006.1695896 db/conf/memocode/memocode2006.html#YangWGI06