Feststellung, formale Repräsentation und Verifikation juristischer Sachverhalte als Grundlage für den effizienten Einsatz juristischer Datenbanken und die Entwicklung juristischer Expertensysteme. - Tilman Zieschang (1994)