Locally finite reducts of Heyting algebras and canonical formulas
scientific article; zbMATH DE number 6686416