@article{FuchsF99,
  title = {Cooperation between Top-Down and Bottom-Up Theorem Provers},
  author = {Dirk Fuchs and Marc Fuchs},
  year = {1999},
  url = {http://www.cs.washington.edu/research/jair/abstracts/fuchs99a.html},
  researchr = {https://researchr.org/publication/FuchsF99},
  cites = {0},
  citedby = {0},
  journal = {J. Artif. Intell. Res. (JAIR)},
  volume = {10},
  pages = {169-198},
}