BEZHANISHVILI, N. - GEHRKE, M. Free Heyting Algebras: Revisited. In Lecture Notes in Computer Science : Algebra and Coalgebra in Computer Science. Vol. 5728 (2009), s.251-266. ISSN 0302-9743 (2009). E*