@INPROCEEDINGS{W3,
  key    =       {W03},
  AUTHOR =	 {Christoph Benzm{\"u}ller and Volker Sorge},
  title =	 {Towards Fine-Grained Proof Planning with Critical Agents},
  booktitle =	 {Proceedings of the 6th Workshop on Automated Reasoning},
  PAGES =	 {19--20},
  YEAR =	 1999,
  CHRISNOTE =	 {W3},
  URL =		 {www.ags.uni-sb.de/~chris/papers/W3.pdf},
  PUBLISHER =	 {Edinburgh College of Art \& Divison of Informatics, University of Edinburgh},
  abstract =     {This is a poster abstract}
}