Efficient Multiple-Valued Model-Checking Using Lattice Representations. - Marsha Chechik; Benet Devereux; Steve M. Easterbrook; Albert Y. C. Lai; Victor Petrovykh (CONCUR, 2001)

chiChek: A Model Checker for Multi-Valued Reasoning. - Steve M. Easterbrook; Marsha Chechik; Benet Devereux; Arie Gurfinkel; Albert Y. C. Lai; Victor Petrovykh; Anya Tafliovich; Christopher D. Thompson-Walsh (ICSE, 2003)

Data structures for symbolic multi-valued model-checking. - Marsha Chechik; Arie Gurfinkel; Benet Devereux; Albert Y. C. Lai; Steve M. Easterbrook (Formal Methods Syst. Des., 2006)

Eager, Lazy, and Other Executions for Predicative Programming. - Albert Y. C. Lai (2013)