@InProceedings{GabrielsNavara:QS11,
  IS = { zkontrolovano 13 Jan 2012 },
  UPDATE  = { 2011-12-29 },
  author =      {Gabri{\"e}ls, Jeannine J.~M. and Navara, Mirko },
  title =       {Properties of OML operations and 
    the role of computers in proofs},
  year =        {2011},
  pages =       {19--21},
  booktitle =   {3rd International Conference Quantum Structures 2011},
  editor =      {Kalina, M. and  N{\'a}n{\'a}siov{\'a}, O. and 
                 Val{\'a}{\v s}kov{\'a}, L'.},
  publisher =   {Printing House of the Slovak University of Technology},
  address =     {Bratislava, Slovakia},
  isbn =        {978-80-227-3515-5},
  book_pages =  {56},
  month =       {May},
  day =         {16--20},
  venue =       {Ko{\v c}ovce, Slovakia},
  organization ={Slovak University of Technology in Bratislava, Slovakia},
  annote =      {We characterize those binary operations in
    orthomodular lattices which are associative.},
  keywords =    {quantum structure, orthomodular lattice,
    associativity, free algebra, computer proof},
  importance =  {0},
  authorship =  {50-50},
  project =     {MSM 6840770038},
  psurl = { [PDF] },
  www =         {http://math.sk/wiki/nanasiova},
}