Butz, C. Finitely Presented Heyting Algebras. BRICS 1998, 5.