C. Butz, “Finitely Presented Heyting Algebras”, BRICS, vol. 5, no. 30, Jan. 1998.