Semantic Minimization of 3-Valued Propositional Formulae (2002)

by T Reps, A Loginov, M Sagiv
Venue:In Proc. of the 17th Annual IEEE Symposium on Logic in Computer Science