@ARTICLE{NavaraTwo_descriptions,
  IS =     { zkontrolovano 11 Jan 00 },
  AUTHOR =   {Navara, Mirko},
  TITLE =   {Two descriptions of state spaces of orthomodular
                  structures},
  mynote =   {S1998, A1998, P1999?},
  JOURNAL =   {International Journal of Theoretical Physics},
  YEAR =   {1999},
  MONTH =   {},
  VOLUME =   {38},
  NUMBER =   {12},
  PAGES =   {3163--3178},
  publisher =   {Kluwer/Plenum Press},
  issn =   {0020-7748},
  importance =   {1},
  psurl =   {[PostScript
                  , 77k]},
}