Butz, C. 1998. Finitely Presented Heyting Algebras. BRICS Report Series. 5, 30 (Jan. 1998). DOI:https://doi.org/10.7146/brics.v5i30.19436.