Assertion Application in Theorem Proving and Proof Planning (Poster description)
@inproceedings{VBA-03-a,
  author        = {Vo, Bao Quoc and Benzm\"uller, Christoph and Autexier, Serge},
  booktitle     = {Proceedings of International Joint Conference on Artificial Intelligence (IJCAI'03)},
  title         = {Assertion Application in Theorem Proving and Proof Planning (Poster description)},
  address       = {Acapulco, Mexico},
  year          = {2003},
}