@INPROCEEDINGS{KreinovichNavaraMexicon98,
  IS =     { zkontrolovano 02 Mar 00 },
  MYNOTE =   { S1997, A1997, P1998 In: Goetz Alefeld and Raul
                  A. Trejo (eds.), Interval Computations and its
                  Applications to Reasoning Under Uncer02tainty,
                  Knowledge Representation, and Control
                  Theory. Proceedings of MEXICON'98, Workshop on
                  Interval Computations, 4th World Congress on Expert
                  Systems, Mexico City, Mexico. },
  AUTHOR =   {Starks, Scott A. and Kreinovich, Vladik and Nguyen,
                  Hung T. and Nguyen, Hoang Phuong and Navara, Mirko},
  EDITOR =   {G.~Alefeld and R.A.~Trejo},
  TITLE =   {Strong negation: its relation to intervals and its
                  use in expert systems},
  BOOKTITLE =   {Proc. 4th World Congress on Expert Systems Mexicon
                  '98},
  publisher =   {Instituto Tecnol\'ogico y de Estudios Superiores de
                  Monterrey},
  ADDRESS =   {Monterrey, Mexico},
  YEAR =   {1998},
  MONTH =   {March},
  PAGES =   {56--59},
  venue =   {Mexico City, Mexico},
}