@TechReport{R9,
  key    =       {R09},
  author = 	 {Christoph Benzm{\"u}ller and Volker Sorge},
  title = 	 {Resource Adaptive Agents in Interactive Theorem Proving},
  institution =  {Department of Computer Science, Saarland University},
  type =         {SEKI Report (ISSN 1437-4447)},
  number =       {SR-99-02},
  year = 	 1999, 
  pages =        {1--13},
  chrisnote =	 {R9},
  url =		 {www.ags.uni-sb.de/~chris/papers/R9.pdf},
  note = {arXiv:0901.3585}
}