---
title: "Assertion Application in Theorem Proving and Proof Planning"
authors:
  - "Quoc Bao Vo"
  - "Christoph Benzmüller"
  - "Serge Autexier"
doi: ""
url: "https://ijcai.org/proceedings/2003/192"
pdf: "https://ijcai.org/proceedings/2003/0192.pdf"
venue: "Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence"
year: 2003
pages: "1343--1"
track: ""
keywords:
---

# Assertion Application in Theorem Proving and Proof Planning

Quoc Bao Vo, Christoph Benzmüller, Serge Autexier

*Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence*, pages 1343--1.

## Abstract