@INPROCEEDINGS{Navara:Grado01Easy,
  IS = { zkontrolovano 07 Dec 01 },
       AUTHOR = {Navara, Mirko},
        TITLE = {Easy proofs of some consequences of {G}leason's {T}heorem},
       EDITOR = {A.~Vol{\v c}i{\v c}},
    BOOKTITLE = {Proceedings of Summer School on Real Analysis and Measure Theory},
    PUBLISHER = {University of Trieste},
      ADDRESS = {Trieste, Italy},
         YEAR = {2001},
        MONTH = {September},
  day =         {13--22},
        PAGES = {91--94},
  isbn =        {none},
  book_pages =  {154},
  venue =       {Grado, Italy},
  volume =      {},
  series =      {},
  number =      {},
  importance =  {1},
  project =     {MSM 212300013, GACR 201/00/0331, CTU 300114413},
  psurl =       {[PostScript]},
}