@article{ASCFM_1992__98_28_5_0,
     author = {Pal'chunov, Dimitrii E. and Touraille, Alain},
     title = {On some connections between {Boolean} algebras and {Heyting} algebras},
     journal = {Annales scientifiques de l'Universit\'e de Clermont. Math\'ematiques},
     pages = {5--16},
     publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
     volume = {98},
     number = {28},
     year = {1992},
     mrnumber = {1216675},
     zbl = {0779.06010},
     language = {en},
     url = {http://www.numdam.org/item/ASCFM_1992__98_28_5_0/}
}