Edmund M. Clarke Xudong Zhao Word Level Model Checking (Abstract). 1 1996 conf/mfcs/1996 MFCS db/conf/mfcs/mfcs96.html#ClarkeZ96 http://dx.doi.org/10.1007/3-540-61550-4_136