A Direct Algorithm for Multi-valued Bounded Model Checking. - Jefferson O. Andrade; Yukiyoshi Kameyama (ATVA, 2008)

Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras. - Jefferson O. Andrade; Yukiyoshi Kameyama (IEICE Trans. Inf. Syst., 2012)