@MISC{OPENLATT.MIZ,
  AUTHOR = {Kamie\'nska, Jolanta},
  TITLE = {Representation Theorem for {H}eyting Lattices},
  DAY = {14},
  MONTH = {July},
  YEAR = {1993},
  ADDRESS1 = {Warsaw University\\Bia{\l}ystok}}

