Cooperation Between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer.

Dirk Fuchs

Browse the full AISC paper archive.