@Article{HardingNavaraAuto,
  IS =     { zkontrolovano 13 Apr 01 },
  author =   {Harding, John and Navara, Mirko},
  title =   {Embeddings into orthomodular lattices with given
                  centers, state spaces and automorphism groups},
  mynote   = { S1999, A2000, P2000 },
  authorship =   {50-50},
  importance =   {1},
  psurl =   {[PostScript,
                  0k]},
  journal     = { Order },
  publisher   = { Kluwer Academic Publishers },
  address     = { Dordrecht,Netherlands },
  issn        = { 0167-8094 },
  year        = { 2000 },
  volume      = { 17 },
  pages       = { 239--254 },
  number      = { 3 },
  project     = { J04/98:212300013, GACR 201/00/0331 },
}