@第{zbMATH07283030条，作者={吉拉尔迪、西尔维奥和桑托卡纳莱、路易吉}，Title={Free{Heyting}代数自同态：{Ruitenburg}定理及其以外}，FJournal={计算机科学中的数学结构}，日志={Math.Struct.Comput.Sci.}，ISSN={0960-1295}，体积={30}，数字={6}，页码={572--596}，年份={2020年}，语言={英语}，DOI={10.1017/S0960129519000203}，关键词={06D20}，zbMATH={7283030}，Zbl={1530.06006}}