Assertion Application in Theorem Proving and Proof Planning

Quoc Bao Vo, Christoph Benzmüller, Serge Autexier
2003 International Joint Conference on Artificial Intelligence  
dblp:conf/ijcai/VoBA03 fatcat:u2nwkyxt25fstpstgu7f2izdnq