@TechReport{Gabriels:min,
  IS = { zkontrolovano 23 Jan 2014 },
  UPDATE  = { 2014-01-06 },
  author =       {Gabri{\"e}ls, Jeannine J.~M.},
  title =        {New results in associativity and^Mdistributivity of orthomodular lattices},
  institution =  {Center for Machine Perception, K13133 FEE Czech Technical University},
  address =      {Prague, Czech Republic},
  year =         {2012},
  month =        {September},
  type =         {Research Report},
  number =       {none},
  issn =         {none},
  pages =        {50},
  figures =      {8},
  authorship =   {100},
  psurl =        {[pdf]},
  project =     {SGS12/187/OHK3/3T/13},
  annote =      {We study the existence of normal forms in orthomodular lattices.},
  keywords =    {orthomodular lattice, free algebra, computer algebra, associativity, distributivity, normal form},
}