Semantic minimization of 3-valued propositional formulae | IEEE Conference Publication | IEEE Xplore