Rüdiger Wirth

• Lernverfahren zur Vervollständigung von Hornklauselmengen durch inverse Resolution