@InProceedings{W12,
  key    =       {W12},
  author =	 {Christoph Benzm{\"u}ller and Andreas Meier and Erica Melis and Martin
                  Pollet and Volker Sorge},
  title =	 {Proof Planning: A Fresh Start?},
  booktitle =	 {Proceedings of the IJCAR 2001 Workshop: Future Directions in Automated
                  Reasoning},
  year =	 2001,
  pages =        {25--37},
  chrisnote =	 {W12},
  url =		 {www.ags.uni-sb.de/~chris/papers/W12.pdf},
  abstract =     {},
  address =	 {Siena, Italy}
}