Ingo Boersch, Jochen Heinsohn, Rolf Socher: Wissensverarbeitung : eine Einführung in die Künstliche Intelligenz für Informatiker und Ingenieure. Heidelberg: Spektrum Akad. Verl. 2. Aufl. 2007
Rolf Socher-Ambrosius und Patricia Johann: Deduction Systems. New York: Springer 1996