Theorem Proving by Covering Expressions.

Lawrence J. Henschen, W. M. Evangelist

Browse the full IJCAI paper archive.