@Unpublished{R40,
  key    =       {R40},
  author = 	 {J{\"o}rg Siekmann and Serge Autexier and Christoph Benzm{\"u}ller},
  title = 	 {OMEGA: Agent-oriented Proof Planning},
  note = 	 {Project report in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes},
  year =	 2008,
  pages =        {1--19},
  url =		 {www.ags.uni-sb.de/~chris/papers/R40.pdf}
}