@ARTICLE{NavaraGrado97Rend,
  IS =     { zkontrolovano 29 Dec 00 },
  AUTHOR =   {Navara, Mirko},
  TITLE =   {State spaces of orthomodular structures},
  mynote =   {S1998, A1999, P2000},
  JOURNAL =   {Rendiconti dell'Istituto di Matematica
                  dell'Universit{\`a} di Trieste},
  YEAR =   {2000},
  VOLUME =   {31},
  NUMBER =   {Suppl.~1},
  PAGES =   {143--201},
  publisher =   { University of Trieste },
  address =   { Trieste, Italy },
  issn =   {0049-4704},
  importance =   {1},
  project =   { VS96049, J04/98:212300013, GACR 201/97/0437 },
  psurl =   {[PostScript,
                  165k]},
}