Finitely generated free Heyting algebras: the well-founded initial segment. - R. Elageili; John Kenneth Truss (J. Symb. Log., 2012)