José L. Castiglioni, Hernán Javier San Martín. On the variety of Heyting algebras with successor generated by all finite chains. Reports on Mathematical Logic, 45:225-248, 2010. [doi]
@article{CastiglioniM10,
title = {On the variety of Heyting algebras with successor generated by all finite chains},
author = {José L. Castiglioni and Hernán Javier San Martín},
year = {2010},
url = {http://www.iphils.uj.edu.pl/rml/rml-45/10-Castiglioni.pdf},
researchr = {https://researchr.org/publication/CastiglioniM10},
cites = {0},
citedby = {0},
journal = {Reports on Mathematical Logic},
volume = {45},
pages = {225-248},
}