@misc{indiciae9accd4a7da9f,
  title = {Cooperation between Top-Down and Bottom-Up Theorem Provers},
  author = {M. Fuchs and D. Fuchs},
  year = {2011},
  doi = {10.1613/jair.573},
  url = {https://arxiv.org/abs/1105.5458},
  note = {Source identifier: 1105.5458}
}