Cooperation Between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer (1998)

by Dirk Fuchs
Venue:JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH
Citations:4 - 2 self