@article{Sul:86,
  journal = {C. R. Acad. Sci. Paris S\'er. I Math.},
  volume = {302},
  title = {Sur une extension de la classe des alg\`ebres de {H}eyting},
  year = {1986},
  fjournal = {Comptes Rendus des S\'eances de l'Acad\'emie des Sciences. S\'erie
              I. Math\'ematique},
  pages = {83--86},
  number = {3},
  author = {Sularia, Mircea},
}