Cooperation between Top-Down and Bottom-Up Theorem Provers.

Dirk Fuchs Marc Fuchs Cooperation between Top-Down and Bottom-Up Theorem Provers. 169-198 1999 10 J. Artif. Intell. Res. (JAIR) http://www.cs.washington.edu/research/jair/abstracts/fuchs99a.html db/journals/jair/jair10.html#FuchsF99