@INPROCEEDINGS{HamouzNavaraACA98A,
  IS =     { zkontrolovano, fiktivni strany, 26 Nov 99 },
  MYNOTE =   { S1998, A1998, P1998 },
  IS =     {neni uveden vydavatel 09 Jan 99; elektronicky
                  sbornik},
  AUTHOR =   {Hamouz, Miroslav and Navara, Mirko},
  TITLE =   {Computer algebra systems as a tool for computer
                  proofs in quantum logic theory},
  BOOKTITLE =   {Proc. Conf. Appl. Computer Algebra '98},
  YEAR =   {1998},
  MONTH =   {August},
  day =     {9--11},
  ORGANIZATION = {Int. Assoc. for Mathematics and Computers in
                  Simulation},
  PUBLISHER =   { Faculty of Nuclear Sciences and Physical
                  Engineering, Czech Technical University },
  ADDRESS =   {Praha, Czech Republic},
  book_pages =   {187},
  isbn =   {none},
  venue =   {Czech Technical University, Praha, Czech Republic},
  psurl =   {},
}