@InProceedings{W21,
  key    =       {W21},
  author = 	 {Christoph Benzm{\"u}ller},
  title = 	 {The {CALCULEMUS} research training network: A short overview},
  booktitle = 	 {Proceedings of the 11th Symposium on the Integration of  Symbolic Computation and Mechanized Reasoning (CALCULEMUS 2003)},
  year =	 2003,
  pages =        {1-16},
  address =	 {Rome, Italy},
  publisher =    {MMIII ARACNE EDITRICE S.R.L.  (ISBN 88-7999-545-6)}
}