@INPROCEEDINGS{Navara:Capri01CB,
  IS = { zkontrolovano 07 Dec 01 },
       AUTHOR = {De Simone, Anna and Navara, Mirko},
        TITLE = {Generalizations of {C}antor--{B}ernstein theorem},
       EDITOR = {A.~Lettieri},
    BOOKTITLE = {Proceedings of International Conference on Non Classical Logic, Approximate Reasoning and Soft Computing},
    PUBLISHER = {University ``Federico II''},
      ADDRESS = {Napoli, Italy},
         YEAR = {2001},
        MONTH = {October},
  day =         {18--20},
        PAGES = {33--35},
  isbn =        {none},
  book_pages =  {74},
  venue =       {Anacapri, Italy},
  authorship =  {50-50},
  importance =  {0},
  project =     {MSM 212300013, GACR 201/00/0331},
  psurl =       {[PostScript]},
}