Bedregal, Benjamín René Callejas A normal form which preserves tautologies and contradictions in a class of fuzzy logics. In: Journal of Algorithms. -- Vol. 62, Iss. 3-4 (2007), s.135-147.