Butz, C. “Finitely Presented Heyting Algebras”. BRICS Report Series, vol. 5, no. 30, Jan. 1998, doi:10.7146/brics.v5i30.19436.