@InProceedings{GabrielsNavara:QS12,
  IS = { zkontrolovano 15 Jan 2013 },
  UPDATE  = { 2012-12-27 },
  author =      {Gabri{\"e}ls, Jeannine J.~M. and Navara, Mirko},
  title =       {Searching normal forms for orthomodular lattices},
  year =        {2012},
  pages =       {29--30},
  booktitle =   {11th Biennial IQSA Meeting. Book of Abstracts},
  publisher =   {Universit{\` a} degli Studi di Cagliari},
  address =     {Cagliari, Italy},
  isbn =        {},
  book_pages =  {70},
  month =       {July},
  day =         {23--27},
  venue =       {Cagliari, Italy},
  organization ={International Quantum Structures Association},
  annote =      {We study the existence of normal forms in orthomodular lattices.},
  keywords =    {orthomodular lattice, free algebra, computer algebra, associativity, distributivity, normal form},
  prestige =    {important},
  note =        {abstract},
  project =     {SGS12/187/OHK3/3T/13},
  psurl =       {[PDF] },
  www =         {http://www.iqsa2012.org/},
}