@InProceedings{W15,
  key    =       {W15},
  author = 	 {Christoph Benzm{\"u}ller and Volker Sorge},
  title = 	 {Agent-based Theorem Proving},
  booktitle = 	 {Proceedings of the 9th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice},
  year =	 2002,
  pages =        {1--3},
  address =	 {London, England},
  chrisnote =	 {W15},
  url =		 {www.ags.uni-sb.de/~chris/papers/W15.pdf}
}