1. Agliano, P., Ternary deductive terms in residuated structures, Acta Sci. Math. (Szeged) 68:397–429, 2002.
2. Balbes, R., Distributive Lattices, University of Missouri Press, 1974.
3. Bezhanishvili, N., and M. Gehrke, Finitely generated free Heyting algebras via Birkhoff duality and coalgebra, Logical Methods in Computer Science 7:1–24, 2011.
4. Blok W. J., and D. Pigozzi, Abstract Algebraic Logics and the Deduction Theorem, Manuscript, 2001. http://orion.math.iastate.edu/dpigozzi/ .
5. Colloquia Math;W Blok,1991