@InProceedings{Gabriels:FSTA12,
  IS = { zkontrolovano 15 Jan 2013 },
  UPDATE  = { 2012-12-27 },
  author =      {Gabri{\"e}ls, Jeannine J.~M.},
  title =       {Shall we find normal forms in orthomodular lattices?},
  year =        {2012},
  pages =       {46--47},
  booktitle =   {FSTA12: Eleventh International Conference on Fuzzy Set Theory and Applications},
  editor =      {Klement, E.P. and Mesiar, R. and  Struk, P. and Drobn{\'a}, E.},
  publisher =   {Academy of Armed Forces of General M.R.~{\v S}tef{\'a}nik},
  address =     {Liptovsk{\'y} Mikul{\'a}{\v s}, Slovakia},
  isbn =        {978-80-8040-438-3},
  book_pages =  {108},
  month =       {January--February},
  day =         {30--3},
  venue =       {Academy of Armed Forces of General M.R.~{\v S}tef{\'a}nik, Liptovsk{\'y} Mikul{\'a}{\v s}, Slovakia},
  organization ={Faculty of Civil Engineering, Slovak University of Technology in Bratislava, Slovakia},
  annote =      {We study the existence of normal forms in
    orthomodular lattices.},
  keywords =    {orthomodular lattice, free algebra, computer algebra,
    associativity, distributivity, normal form},
  importance =  {0},
  note =        {abstract},
  project =     {SGS12/187/OHK3/3T/13},
}