@TechReport{HardingNavara-TR-1999-16-Auto,
  IS =     { zkontrolovano 26 Nov 99 },
  author =   {Harding, John and Navara, Mirko},
  title =   {Embeddings into Orthomodular Lattices with Given
                  Centers, State Spaces and Automorphism Groups},
  institution =   {Center for Machine Perception, Czech Technical
                  University},
  address =   {Prague, Czech Republic},
  year =   {1999},
  month =   {November},
  type =   {Research Report},
  number =   {CTU-CMP-1999-16},
  pages =   {18},
  authorship =   {50-50},
  project =   { VZ98/013 },
  psurl =   {[TR-1999-16.ps.gz]},
}