@InProceedings{W7,
  key    =       {W07},
  author =	 {Christoph Benzm{\"u}ller and Mateja Jamnik and Manfred Kerber and Volker Sorge},
  title =	 {Resource Guided Concurrent Deduction},
  booktitle =	 {Proceedings of the AISB'2000 Symposium `How to design a functioning mind'},
  year =	 2000,
  pages =        {137--138},
  address =	 {Birmingham, England},
  note =	 {Also in: Proceedings of the 7th Workshop on Automated Reasoning
                  `Bridging the Gap between Theory and Practice'},
  chrisnote =	 {W7},
  url =		 {www.ags.uni-sb.de/~chris/papers/W7.pdf},
  abstract =     {This is a poster abstract}
}