Marsha Chechik Arie Gurfinkel Benet Devereux Albert Y. C. Lai Steve M. Easterbrook Data structures for symbolic multi-valued model-checking. 295-344 2006 29 Formal Methods in System Design 3 http://dx.doi.org/10.1007/s10703-006-0016-z db/journals/fmsd/fmsd29.html#ChechikGDLE06