@Unpublished{R23,
  key    =       {R23},
  author = 	 {Christoph Benzm{\"u}ller},
  title = 	 {ALONZO: Deduktionsagenten h{\"o}herer Ordnung f{\"u}r Mathematische Assistenzsysteme
},
  note = 	 {Project proposal in the DFG Aktionsplan Informatik},
  year =	 2003,
  pages =        {1--43},
  url =		 {www.ags.uni-sb.de/~chris/papers/R23.pdf}
}