@Inproceedings{W19,
  key    =       {W19},
  author =	 {Bao Quoc Vo and Christoph Benzm{\"u}ller and Serge Autexier},
  title =	 {Assertion Application in Theorem Provinf and Proof Planning},
 booktitle = 	 {Proceedings of the 10th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice},
  year =	 2003,
  address =	 {Liverpool, England},
  chrisnote =	 {W19},
  url =		 {www.ags.uni-sb.de/~chris/papers/W19.pdf},
}