Andreas Polyméris Conjunctive Normal Forms in Three-Valued Propositional Logics. 157-174 1994 4 J. Log. Comput. 2 db/journals/logcom/logcom4.html#Polymeris94