A Hierarchical Approach to Theorem-Proving.

Malcolm C. Harrison

Browse the full IJCAI paper archive.