Karin Klabunde Erweiterung der Wissensrepräsentationssprache L-LILOG um Konstrukte zur Spezifikation von Kontrollinformation IWBS Report 92 1989 IBM Germany Science Center, Institute for Knowledge Based Systems