@article{00639849,
title = {A subdirectly irreducible symmetric Heyting algebra which is not simple.},
journal = {Portugaliae Mathematica. Nova S\'erie},
volume = {51},
year = {1994},
pages = {141-146},
zbl = {0803.06013},
language = {en},
url = {http://dml.mathdoc.fr/item/00639849}
}
Galli, A.; Sagastume, M. A subdirectly irreducible symmetric Heyting algebra which is not simple.. Portugaliae Mathematica. Nova Série, Tome 51 (1994) pp. 141-146. http://gdmltest.u-ga.fr/item/00639849/