@MISC{XXREAL_1.MIZ,
  AUTHOR = {Trybulec, Andrzej and Nakamura, Yatsuka and
    Korni{\l}owicz, Artur and Grabowski, Adam},
  TITLE = {Basic Properties of Extended Real Numbers},
  DAY = {22},
  MONTH = {January},
  YEAR = {2007},
  ADDRESS1 = {University of Bia{\l}ystok},
  ADDRESS2 = {Shinshu University},
  ADDRESS3 = {University of Bia{\l}ystok},
  ADDRESS4 = {University of Bia{\l}ystok}
  SUMMARY = {The file contains basic result about extended real numbers,
    and is devoted mainly to the arithmetics of (real) intervals in
    more general setting.}}

