@InProceedings{C13,
  key    =       {C13},
  author = 	 {Quoc Bao Vo and  Christoph Benzm{\"u}ller and  Serge Autexier},
  editor = {G. Gottlob and T. Walsh},
  title = 	 {Assertion Application in Theorem Proving and Proof Planning},
  booktitle = 	 {Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)},
  year =	 2003,
  address =	 {Acapulco, Mexico},
  note = {ISBN 0-127-05661-0}
}