Wei-Ngan Chin Cristina David Huu Hai Nguyen Shengchao Qin Automated Verification of Shape, Size and Bag Properties. 307-320 2007 conf/iceccs/2007 ICECCS http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.17 db/conf/iceccs/iceccs2007.html#ChinDNQ07