Quoc Bao Vo, Christoph Benzmüller, Serge Autexier. Assertion Application in Theorem Proving and Proof Planning. In Georg Gottlob, Toby Walsh, editors, IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003. pages 1343, Morgan Kaufmann, 2003.
@inproceedings{VoBA03,
title = {Assertion Application in Theorem Proving and Proof Planning},
author = {Quoc Bao Vo and Christoph Benzmüller and Serge Autexier},
year = {2003},
researchr = {https://researchr.org/publication/VoBA03},
cites = {0},
citedby = {0},
pages = {1343},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
editor = {Georg Gottlob and Toby Walsh},
publisher = {Morgan Kaufmann},
}