Assertion Application in Theorem Proving and Proof Planning.

Quoc Bao Vo, Christoph Benzmller, Serge Autexier

Browse the full IJCAI paper archive.