@InCollection{C7,
  key    =       {C07},
  author =	 {Christoph Benzm{\"u}ller and Mateja Jamnik and Manfred Kerber and Volker
                  Sorge},
  title =        {Resource Guided Concurrent Deduction},
  booktitle =	 {Symbolic Computation and Automated Reasoning},
  editor =       {Manfred Kerber and Michael Kohlhase},
  year =	 2000,
  pages =        {245--246},
  chrisnote =	 {C7},
  publisher =	 {A.K.Peters},
  url =		 {www.ags.uni-sb.de/~chris/papers/C7.pdf},
}