Finitely generated free Heyting algebras via Birkhoff duality and coalgebra (2011)

by N Bezhanishvili, M Gehrke
Venue:Logical Methods in Computer Science 7