Zhifang Wang Yiyun Chen Zhenming Wang Baojian Hua Automated verification of pointer programs in pointer logic. 380-397 2008 2 Frontiers of Computer Science in China 4 http://dx.doi.org/10.1007/s11704-008-0033-8 db/journals/fcsc/fcsc2.html#WangCWH08