1. Algebraizable logics;Blok;Mem. Amer. Math. Soc.,1989
2. A Course in Universal Algebra;Burris,1981
3. A new proof of the completeness of Łukasiewicz axioms;Chang;Trans. Amer. Math. Soc.,1989
4. Free algebras in varieties of BL-algebras with a Boolean retract;Cignoli;Algebra Universalis,2002
5. Algebraic Foundations of Many-valued Reasoning;Cignoli,2000