Transformation von Hornklausel-Wissensbasen: Verarbeitung gleichen Wissens durch verschiedene Inferenzen - Hinkelmann, Knut ca. 20./21. Jh (Dissertationen zur künstlichen Intelligenz, 1995)