@Proceedings{CALCULEMUS02,
  title = 	 {Artificial Intelligence, Automated Reasoning, and Symbolic Computation --- Joint International Conference, AISC 2002 and Calculemus 2002},
  booktitle = 	 {Artificial Intelligence, Automated Reasoning, and Symbolic Computation --- Joint International Conference, AISC 2002 and Calculemus 2002},
  year = 	 2002,
  editor =	 {Jacques Calmet and Belaid Benhamou and Olga Caprotti and Laurent Henocque and Volker Sorge},
  volume =	 2385,
  series =	 {\LNAI},
  address =	 {Marseille\FRANCE},
  month =	 {\JULY 1--5},
  publisher =	 {Springer Verlag, Berlin\Germany}
}