@Article{J3,
  key    =       {J03},
  author =	 {J{\"o}rg Siekmann and Helmut Horacek and Michael Kohlhase and Christoph Benzm{\"u}ller and
                  Lassaad Cheikhrouhou and Detlef Fehrer and Armin Fiedler and Stephan Hess and Karsten Konrad
                  and Andreas Meier and Erica Melis and Volker Sorge},
  title =	 {An Interactive Proof Development Environment + Anticipation = A
                  Mathematical Assistant?},
  journal =	 {International Journal of Computing Anticipatory Systems (CASYS)},
  year =	 1999,
  volume =	 3,
  pages =	 {101-110},
  url =		 {www.ags.uni-sb.de/~chris/papers/J3.pdf},
  abstract =     {},
  chrisnote =	 {J3}
}