@Unpublished{R34,
  key    =       {R34},
  author = 	 {Christoph Benzm{\"u}ller and Michael Kohlhase and J{\"o}rg Siekmann},
  title = 	 {Abschlussbericht Projekt HOTEL},
  note = 	 {DFG research grant report},
  pages =        {1--14},
  year =	 2004,
  url =		 {www.ags.uni-sb.de/~chris/papers/R34.pdf}
}