@incollection{CEH93Rol,
  title = "Die Rolle der mathematischen Logik in der K{\"u}nstlichen Intelligenz",
  author = "Cremers, Armin B. and Eder, Elmar and Hinze, Ralf",
  year = "1993",
  booktitle = "K{\"u}nstliche Intelligenz: Leitvorstellungen und Verantwortbarkeit, Band 1: Diskussionsgrundlage",
  publisher = "Verein Deutscher Ingenieure",
}