@Article{BartusekNavara:Kybernetika02,
  IS = { zkontrolovano 08 Nov 2002 },
  UPDATE  = { 2002-07-29 },
  author =     { Bartu{\v s}ek, Tom{\' a}{\v s} and Navara, Mirko },
  title =      { Program for Generating Fuzzy Logical Operations and Its
                 Use in Mathematical Proofs },
  year =       { 2002 },
  month =      { June },
  pages =      { 235--244 },
  journal =    { Kybernetika },
  publisher =  { Institute of Information Theory and Automation ASCR },
  address =    { Pod vod{\' a}renskou v{\v e}{\v z}{\' \i} 4, 182 08, Praha, 
                 Czech Republic },
  issn =       { 0023-5954 },
  volume =     { 38 },
  number =     { 3 },
  importance = { 1 },
  authorship = { 50-50 },
  note =       {},
  project =    { MSM 212300013, GACR 201/02/1540, CEEPUS SK-042 },
}