@Unpublished{R32,
  key    =       {R32},
  author = 	 {Christoph Benzm{\"u}ller},
  title = 	 {ALONZO: Higher-Order Reasoning Agents and Semantical
Mediation of Mathematical Knowledge},
  note = 	 {DFG research grant proposal},
  year =	 2004,
  pages =        {1--29},
  url =		 {www.ags.uni-sb.de/~chris/papers/R32.pdf}
}