{"type":"ScholarlyArticle","title":"Assertion Application in Theorem Proving and Proof Planning","authors":[{"name":"Quoc Bao Vo","slug":"quoc-bao-vo","given":"Quoc Bao","family":"Vo","affiliation":""},{"name":"Christoph Benzmüller","slug":"christoph-benzmuller","given":"Christoph","family":"Benzmüller","affiliation":""},{"name":"Serge Autexier","slug":"serge-autexier","given":"Serge","family":"Autexier","affiliation":""}],"abstract":"","doi":null,"url":"https://ijcai.org/proceedings/2003/192","pdf":"https://ijcai.org/proceedings/2003/0192.pdf","markdown":"https://ijcai.org/proceedings/2003/192.md","bibtex":"https://ijcai.org/proceedings/2003/bibtex/192","volume":{"slug":"2003","title":"Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2003","url":"https://ijcai.org/proceedings/2003/","year":2003,"location":"Acapulco, Mexico","dates":"","editors":"Georg Gottlob","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":192,"pages":{"first":1343,"last":-1},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}