@InProceedings{W16,
  key    =       {W16},
  author = 	 {Malte H{\"u}bner and Serge Autexier and Christoph Benzm{\"u}ller},
  title = 	 {Agent-based Proof Search with Indexed Formulas},
  booktitle = 	 {Additonal Proceedings of 10th Symposium on the Integration of  Symbolic Computation and Mechanized Reasoning (CALCULEMUS 2002)},
  year =	 2002,
  pages =        {11--20},
  address =	 {Marseilles, France},
  chrisnote =	 {W16},
  abstract =	 {This paper describes work aimed at integrating OMEGA's agent-based
                  suggestion mechanism OANTS and the new theorem proving framework
                  developed by Autexier [Autexier01].},
  url =		 {www.ags.uni-sb.de/~chris/papers/W16.pdf},
}