@misc{siekmann1983automation,
  title={Automation of Reasoning: Classical Papers on Computational Logic, volume 1 and 2},
  author={Siekmann, J{\"o}rg and Wrightson, Graham},
  year={1983},
  publisher={Springer-Verlag, Berlin}
}