@phdthesis{dnb-4351,
  title = {Learning search heuristics for automated deduction},
  author = {Matthias Fuchs},
  year = {1997},
  url = {http://d-nb.info/950697966},
  researchr = {https://researchr.org/publication/dnb-4351},
  cites = {0},
  citedby = {0},
  school = {University of Kaiserslautern},
}