@INPROCEEDINGS{W4,
  key    =       {W04},
  AUTHOR =	 {Christoph Benzm{\"u}ller and Mateja Jamnik and Manfred Kerber and Volker
                  Sorge},
  title =	 {Agent Based Mathematical Reasoning},
  booktitle =	 {Proceedings of the Calculemus Workshop: Systems for Integrated
                  Computation and Deduction},
  YEAR =	 1999,
  pages =        {1--12},
  URL =		 {www.ags.uni-sb.de/~chris/papers/W4.pdf},
  abstract =	 {In this contribution we propose an agent architecture for theorem
                  proving which we intend to investigate in depth in the future. The work
                  reported in this paper is in an early state, and by no means
                  finished. We present and discuss our proposal in order to get feedback
                  from the Calculemus community.},
  CHRISNOTE =	 {W4},
  MONTH =	 {July},
  ADRESS =	 {Trento, Italy}
}