Thomas W. Reps Alexey Loginov Shmuel Sagiv Semantic Minimization of 3-Valued Propositional Formulae. 40- 2002 conf/lics/2002 LICS http://doi.ieeecomputersociety.org/10.1109/LICS.2002.1029816 db/conf/lics/lics2002.html#RepsLS02