Benjamín René Callejas Bedregal A normal form which preserves tautologies and contradictions in a class of fuzzy logics. 135-147 2007 62 J. Algorithms 3-4 http://dx.doi.org/10.1016/j.jalgor.2007.04.003 db/journals/jal/jal62.html#Bedregal07