1. Aarts, E. and J. Korst: 1989, Simulated Annealing and Boltzmann Machines. John Wiley and Sons.
2. Beringer, A., G. Aschemann, H. Hoos, M. Metzger, and A. Weiß: 1994, `GSAT versus Simulated Annealing’. In: A. G. Cohn (ed.): Proceedings of the European Conference on Artificial Intelligence. pp. 130–134.
3. Beringer, A. and S. Hölldobler: 1993, `On the Adequateness of the Connection Method’. In: Proceedings of the AAAI National Conference on Artificial Intelligence. pp. 9–14.
4. Bibel, W.: 1988, `Advanced Topics in Automated Deduction’. In: R. Nossum (ed.): Fundamentals of Araficial Intelligence II. Springer, LNCS 345, pp. 41–59.
5. Bibel, W.: 1993, Deduction. Academic Press. Bibel, W. and E. Eder: 1993, `Methods and Calculi for Automated Deduction’. In: Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 1. Oxford University Press, pp. 67–182.