@article{siekmann1992geschichte,
  title={Geschichte des automatischen beweisens (history of automated deduction)},
  author={Siekmann, J},
  journal={Deduktionssysteme, Automatisierung des Logischen Denkens. R. Oldenbourg Verlag,},
  year={1992}
}