@INPROCEEDINGS{HamouzNavaraACA98,
  IS =     { zkontrolovano 26 Nov 99 },
  MYNOTE =   { S1998, A1998, },
  IS =     {neuveden vydavatel, vyslo vubec? 09 Jan 99;
                  elektronicky sbornik},
  AUTHOR =   {Hamouz, Miroslav and Navara, Mirko},
  TITLE =   {Computer algebra systems as a tool for mathematical
                  proofs in quantum logics},
  BOOKTITLE =   {Proc. Conf. Appl. Computer Algebra '98},
  ADDRESS =   {Praha, Czech Republic},
  YEAR =   {1998},
  MONTH =   {August},
  ORGANIZATION = {Int. Assoc. for Mathematics and Computers in
                  Simulation},
  venue =   {Czech Technical University, Praha, Czech Republic},
  importance =   {1},
  psurl =   {[PostScript,
                  55k]},
  isbn =   {none},
  EDITOR =   { R.~Liska },
  PUBLISHER =   { Faculty of Nuclear Sciences and Physical
                  Engineering, Czech Technical University },
  PAGES =   { 1--7 },
  www =     { Mirror
                  CTU Prague, Mirror
                  UNM, Albuquerque },
}