@Unpublished{R33,
  key    =       {R33},
  author = 	 {Serge Autexier and Christoph Benzm\"uller and Michael Kohlhase and J\"org Siekmann},
  title = 	 {VERMATH: Distributed Mathematical Problem Solving},
  note = 	 {DFG research grant proposal},
  year =	 2004,
  pages =        {1--22},
  url =		 {www.ags.uni-sb.de/~chris/papers/R33.pdf}
}