@Article{NavaraSatisFL,
  IS =     { zkontrolovano 29 Dec 00 },
  author =   {Navara, Mirko},
  title =   {Satisfiability in fuzzy logics},
  year =   {2000},
  month =   {},
  pages =   {845--858},
  journal =   {Neural Network World},
  publisher =   {Institute of Computer Science CAS},
  address =   {Praha, Czech Republic},
  issn =   {1210-0552},
  volume =   {10},
  number =   {5},
  importance =   {1},
  project =   { VS96049, J04/98:212300013 },
  psurl =   {[PostScript]},
}