KL - DNMS [Kaiserslauterer Dependency Management System]. Ein System zur Verwaltung nicht-monotoner Abhängigkeitsnetze. - Freitag, Hartmut (Interner Bericht, 1985)