TY  - RPRT
TI  - Cooperation between Top-Down and Bottom-Up Theorem Provers
AU  - M. Fuchs
AU  - D. Fuchs
PY  - 2011
DO  - 10.1613/jair.573
UR  - https://arxiv.org/abs/1105.5458
ID  - 1105.5458
ER  -