@Unpublished{R24,
  key    =       {R24},
  author = 	 {Christoph Benzm{\"u}ller and Dieter Hutter},
  title = 	 {{CALCULEMUS-II}: Computer-supported Mathematical Knowledge Evolution},
  note = 	 {Project proposal for a Marie Curie Research Training Network within the EU 6th framework},
  year =	 2003,
  pages =        {1--73},
  url =		 {www.ags.uni-sb.de/~chris/papers/R24.pdf}
}