@Proceedings{E5,
  key    =       {E05},
  title =	 {Systems for Integrated Computation and Deduction -- Interim Report of
                  the {CALCULEMUS} {IHP} Network},
  year =	 2003,
  editor =	 {Christoph Benzm{\"u}ller},
  TYPE =	 {SEKI Report (ISSN 1437-4447)},
  number =	 {SR-03-05},
  INSTITUTION =	 {Fachbereich Informatik, Universit{\"a}t des Saarlandes, Saarbr{\"u}cken},
}