@Unpublished{R30,
  key    =       {R30},
  author = 	 {Manfred Pinkal and J{\"o}rg Siekmann and Christoph Benzm{\"u}ller and Ivana Kruijff-Korbayova},
  title = 	 {DIALOG: Natural Language-based Interaction with a Mathematics Assistance System},
  note = 	 {Project proposal in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes},
  pages =        {1--31},
  year =	 2004,
  url =		 {www.ags.uni-sb.de/~chris/papers/R30.pdf}
}