C. Butz, “Finitely Presented Heyting Algebras”, BRICS, bd. 5, nr. 30, jan. 1998.