@InProceedings{GagolaGabrielsNavara:QS14,
  IS = { zkontrolovano 02 Jan 2015 },
  UPDATE  = { 2014-12-19 },
  author =      { Gagola~III, Stephen~M. and Gabri{\"e}ls, Jeannine J.~M. and Navara,
Mirko },
  affiliation = {NULL-13133-13133},
  authorship =  {34-33-33},
  title =       {Identities valid in orthomodular lattices},
  year =        {2014},
  pages =       {32--33},
  booktitle =   {Biennial {IQSA} Conference Quantum Structures},
  editor =      {},
  publisher =   {Univerzita Palack{\' e}ho v Olomouci},
  address =     {Olomouc, Czech Republic},
  isbn =        {none},
  book_pages =  {118},
  month =       {June},
  day =         {23--27},
  venue =       {Olomouc, Czech Republic},
  organization ={},
  annote =      {We investigated possibilities of finding tools
                  reducing operations in orthomodular lattices into
                  normal forms.},
  keywords =    {orthomodular lattice, quantum logic, free algebra,
                  normal form, word problem, associativity},
  project =    { SGS12/187/OHK3/3T/13 },
www         = { http://ameql.math.muni.cz/iqsa2014/ },
}